Search Results for Programming. - Narrowed by: Artificial intelligence.

Answer Set Programming

2024-12-30T23:02:46Z

Author Lifschitz, Vladimir. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-24658-7
Format: Electronic Resources
Availability Online Library~1

Cartesian Genetic Programming

2024-12-30T23:02:46Z

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

Linear Genetic Programming

2024-12-30T23:02:46Z

Author Brameier, Markus F. author. Banzhaf, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-31030-5
Format: Electronic Resources
Availability Online Library~1

Multiparadigm Constraint Programming Languages

2024-12-30T23:02:46Z

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

Genetic Programming Theory and Practice III

2024-12-30T23:02:46Z

Author Yu, Tina. editor. Riolo, Rick. editor. Worzel, Bill. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-28111-8
Format: Electronic Resources
Availability Online Library~1

Genetic Programming Theory and Practice II

2024-12-30T23:02:46Z

Author O’Reilly, Una-May. editor. Yu, Tina. editor. Riolo, Rick. editor. Worzel, Bill. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b101112
Format: Electronic Resources
Availability Online Library~1

Genetic Programming Theory and Practice XVI

2024-12-30T23:02:46Z

Author Banzhaf, Wolfgang. editor. Spector, Lee. editor. Sheneman, Leigh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-04735-1
Format: Electronic Resources
Availability Online Library~1

Genetic Programming Theory and Practice XV

2024-12-30T23:02:46Z

Author Banzhaf, Wolfgang. editor. Olson, Randal S. editor. Tozier, William. editor. Riolo, Rick. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-90512-9
Format: Electronic Resources
Availability Online Library~1

Genetic Programming Theory and Practice XIV

2024-12-30T23:02:46Z

Author Riolo, Rick. editor. Worzel, Bill. editor. Goldman, Brian. editor. Tozier, Bill. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-97088-2
Format: Electronic Resources
Availability Online Library~1

Constraint Programming and Decision Making

2024-12-30T23:02:46Z

Author Ceberio, Martine. editor. Kreinovich, Vladik. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-04280-0
Format: Electronic Resources
Availability Online Library~1

Genetic Programming Theory and Practice XI

2024-12-30T23:02:46Z

Author Riolo, Rick. editor. Moore, Jason H. editor. Kotanchek, Mark. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4939-0375-7
Format: Electronic Resources
Availability Online Library~1

Genetic Programming Theory and Practice X

2024-12-30T23:02:46Z

Author Riolo, Rick. editor. Vladislavleva, Ekaterina. editor. Ritchie, Marylyn D. editor. Moore, Jason H. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332135.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-6846-2
Format: Electronic Resources
Availability Online Library~1

Genetic Programming Theory and Practice VIII

2024-12-30T23:02:46Z

Author Riolo, Rick. editor. McConaghy, Trent. editor. Vladislavleva, Ekaterina. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-7747-2
Format: Electronic Resources
Availability Online Library~1

Genetic Programming Theory and Practice IX

2024-12-30T23:02:46Z

Author Riolo, Rick. editor. Vladislavleva, Ekaterina. editor. Moore, Jason H. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1770-5
Format: Electronic Resources
Availability Online Library~1

Genetic Programming Theory and Practice VII

2024-12-30T23:02:46Z

Author Riolo, Rick. editor. O'Reilly, Una-May. editor. McConaghy, Trent. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-1626-6
Format: Electronic Resources
Availability Online Library~1

Genetic Programming Theory and Practice VI

2024-12-30T23:02:46Z

Author Worzel, Bill. editor. Soule, Terence. editor. Riolo, Rick. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-87623-8
Format: Electronic Resources
Availability Online Library~1

Genetic Programming Theory and Practice V

2024-12-30T23:02:46Z

Author Riolo, Rick. editor. Soule, Terence. editor. Worzel, Bill. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-76308-8
Format: Electronic Resources
Availability Online Library~1

Dynamic Programming A Computational Tool

2024-12-30T23:02:46Z

Author Art, Lew. author. Mauch, Holger. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-37014-7
Format: Electronic Resources
Availability Online Library~1

Genetic Programming Theory and Practice IV

2024-12-30T23:02:46Z

Author Riolo, Rick. editor. Soule, Terence. editor. Worzel, Bill. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-49650-4
Format: Electronic Resources
Availability Online Library~1

Genetic Systems Programming Theory and Experiences

2024-12-30T23:02:46Z

Author Nedjah, Nadia. editor. Mourelle, Luiza de Macedo. editor. Abraham, Ajith. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-32498-4
Format: Electronic Resources
Availability Online Library~1

Automatic Quantum Computer Programming A Genetic Programming Approach

2024-12-30T23:02:46Z

Author Spector, Lee. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-36791-0
Format: Electronic Resources
Availability Online Library~1

Genetic Programming IV Routine Human-Competitive Machine Intelligence

2024-12-30T23:02:46Z

Author Koza, John R. author. Keane, Martin A. author. Streeter, Matthew J. author. Mydlowec, William. author. Yu, Jessen. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137549
Format: Electronic Resources
Availability Online Library~1

Principles and Practice of Constraint Programming 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings

2024-12-30T23:02:46Z

Author Schiex, Thomas. editor. (orcid)0000-0001-6049-3415 de Givry, Simon. editor. (orcid)0000-0002-2242-0458 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30048-7
Format: Electronic Resources
Availability Online Library~1

Principles and Practice of Constraint Programming 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings

2024-12-30T23:02:46Z

Author Hooker, John. editor. (orcid)0000-0003-3169-1871 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-98334-9
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings

2024-12-30T23:02:46Z

Author Ryu, Sukyoung. editor. (orcid)0000-0002-0019-9772 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02768-1
Format: Electronic Resources
Availability Online Library~1

Principles and Practice of Constraint Programming 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014, Proceedings

2024-12-30T23:02:46Z

Author O'Sullivan, Barry. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10428-7
Format: Electronic Resources
Availability Online Library~1

Probabilistic Inductive Logic Programming Theory and Applications

2024-12-30T23:02:46Z

Author Raedt, Luc. editor. Frasconi, Paolo. editor. Kersting, Kristian. editor. Muggleton, Stephen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78652-8
Format: Electronic Resources
Availability Online Library~1

Multi-Agent Programming Languages, Platforms and Applications

2024-12-30T23:02:46Z

Author Bordini, Rafael H. editor. Dastani, Mehdi. editor. Dix, Jürgen. editor. Fallah Seghrouchni, Amal. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137449
Format: Electronic Resources
Availability Online Library~1

Fuzzy Mathematical Programming and Fuzzy Matrix Games

2024-12-30T23:02:46Z

Author Bector, C. R. author. Chandra, Suresh. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-32371-6
Format: Electronic Resources
Availability Online Library~1

Problem solving methods, programming, and future concepts

2024-12-30T23:02:46Z

Author German, O. V. (Oleg Vitolʹdovich) Ofitserov, Dmitri V.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444822260
Format: Electronic Resources
Availability Online Library~1

DNA Computing and Molecular Programming 25th International Conference, DNA 25, Seattle, WA, USA, August 5–9, 2019, Proceedings

2024-12-30T23:02:46Z

Author Thachuk, Chris. editor. Liu, Yan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-26807-7
Format: Electronic Resources
Availability Online Library~1

Genetic Programming 22nd European Conference, EuroGP 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings

2024-12-30T23:02:46Z

Author Sekanina, Lukas. editor. (orcid)0000-0002-2693-9011 Hu, Ting. editor. (orcid)0000-0001-6382-0602 Lourenço, Nuno. editor. (orcid)0000-0002-2154-0642 Richter, Hendrik. editor. (orcid)0000-0001-5417-8291 García-Sánchez, Pablo. editor. (orcid)0000-0003-4644-2894
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-16670-0
Format: Electronic Resources
Availability Online Library~1

Concepts of Soft Computing Fuzzy and ANN with Programming

2024-12-30T23:02:46Z

Author Chakraverty, Snehashish. author. Sahoo, Deepti Moyi. author. Mahato, Nisha Rani. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-7430-2
Format: Electronic Resources
Availability Online Library~1

Integration of Constraint Programming, Artificial Intelligence, and Operations Research 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019, Proceedings

2024-12-30T23:02:46Z

Author Rousseau, Louis-Martin. editor. Stergiou, Kostas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-19212-9
Format: Electronic Resources
Availability Online Library~1

Logic Programming and Nonmonotonic Reasoning 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings

2024-12-30T23:02:46Z

Author Balduccini, Marcello. editor. (orcid)0000-0001-5445-3054 Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X Woltran, Stefan. editor. (orcid)0000-0003-1594-8972 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-20528-7
Format: Electronic Resources
Availability Online Library~1

The Multi-Agent Programming Contest 2018 Agents Teaming Up in an Urban Environment

2024-12-30T23:02:46Z

Author Ahlbrecht, Tobias. editor. (orcid)0000-0002-4652-901X Dix, Jürgen. editor. (orcid)0000-0002-8528-1440 Fiekas, Niklas. editor. (orcid)0000-0002-8369-4890 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-37959-9
Format: Electronic Resources
Availability Online Library~1

Central European Functional Programming School 6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10, 2015, Revised Selected Papers

2024-12-30T23:02:46Z

Author Zsók, Viktória. editor. Porkoláb, Zoltán. editor. Horváth, Zoltán. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-28346-9
Format: Electronic Resources
Availability Online Library~1

Trends in Functional Programming 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers

2024-12-30T23:02:46Z

Author Van Horn, David. editor. Hughes, John. editor. (orcid)0000-0001-8042-0969 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-14805-8
Format: Electronic Resources
Availability Online Library~1

Inductive Logic Programming 28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedings

2024-12-30T23:02:46Z

Author Riguzzi, Fabrizio. editor. (orcid)0000-0003-1654-9703 Bellodi, Elena. editor. (orcid)0000-0002-3717-3779 Zese, Riccardo. editor. (orcid)0000-0001-8352-6304 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99960-9
Format: Electronic Resources
Availability Online Library~1

Declarative Programming and Knowledge Management Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers

2024-12-30T23:02:46Z

Author Seipel, Dietmar. editor. Hanus, Michael. editor. (orcid)0000-0002-4953-8202 Abreu, Salvador. editor. (orcid)0000-0002-1613-4631 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00801-7
Format: Electronic Resources
Availability Online Library~1

Genetic Programming 21st European Conference, EuroGP 2018, Parma, Italy, April 4-6, 2018, Proceedings

2024-12-30T23:02:46Z

Author Castelli, Mauro. editor. Sekanina, Lukas. editor. (orcid)0000-0002-2693-9011 Zhang, Mengjie. editor. Cagnoni, Stefano. editor. García-Sánchez, Pablo. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-77553-1
Format: Electronic Resources
Availability Online Library~1

Constraint Programming and Decision Making: Theory and Applications

2024-12-30T23:02:46Z

Author Ceberio, Martine. editor. Kreinovich, Vladik. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61753-4
Format: Electronic Resources
Availability Online Library~1

Inductive Logic Programming 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers

2024-12-30T23:02:46Z

Author Lachiche, Nicolas. editor. Vrain, Christel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78090-0
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-30T23:02: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

Programming Languages and Systems 27th European Symposium on Programming, ESOP 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-30T23:02:46Z

Author Ahmed, Amal. editor. (orcid)0000-0001-7424-572X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89884-1
Format: Electronic Resources
Availability Online Library~1

DNA Computing and Molecular Programming 24th International Conference, DNA 24, Jinan, China, October 8–12, 2018, Proceedings

2024-12-30T23:02:46Z

Author Doty, David. editor. (orcid)0000-0002-3922-172X Dietz, Hendrik. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00030-1
Format: Electronic Resources
Availability Online Library~1

Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers

2024-12-30T23:02:46Z

Author Hanus, Michael. editor. (orcid)0000-0002-4953-8202 Rocha, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08909-6
Format: Electronic Resources
Availability Online Library~1

Genetic Programming 17th European Conference, EuroGP 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers

2024-12-30T23:02:46Z

Author Nicolau, Miguel. editor. Krawiec, Krzysztof. editor. Heywood, Malcolm I. editor. Castelli, Mauro. editor. García-Sánchez, Pablo. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44303-3
Format: Electronic Resources
Availability Online Library~1

Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers

2024-12-30T23:02:46Z

Author Zaverucha, Gerson. editor. Santos Costa, Vítor. editor. Paes, Aline. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44923-3
Format: Electronic Resources
Availability Online Library~1

Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings

2024-12-30T23:02:46Z

Author Codish, Michael. editor. Sumii, Eijiro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07151-0
Format: Electronic Resources
Availability Online Library~1

A Defeasible Logic Programming-Based Framework to Support Argumentation in Semantic Web Applications

2024-12-30T23:02:46Z

Author Janjua, Naeem Khalid. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-03949-7
Format: Electronic Resources
Availability Online Library~1

Simulation, Modeling, and Programming for Autonomous Robots 4th International Conference, SIMPAR 2014, Bergamo, Italy, October 20-23, 2014. Proceedings

2024-12-30T23:02:46Z

Author Brugali, Davide. editor. Broenink, Jan. editor. Kroeger, Torsten. editor. MacDonald, Bruce. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11900-7
Format: Electronic Resources
Availability Online Library~1

Adaptive Dynamic Programming for Control Algorithms and Stability

2024-12-30T23:02:46Z

Author Zhang, Huaguang. author. Liu, Derong. author. Luo, Yanhong. author. Wang, Ding. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331049.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4757-2
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-30T23:02: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

Genetic Programming 16th European Conference, EuroGP 2013, Vienna, Austria, April 3-5, 2013. Proceedings

2024-12-30T23:02:46Z

Author Krawiec, Krzysztof. editor. Moraglio, Alberto. editor. Hu, Ting. editor. Etaner-Uyar, A. Şima. editor. Hu, Bin. editor.
Preferred Shelf Number ONLINE(334384.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37207-0
Format: Electronic Resources
Availability Online Library~1

Programming Multi-Agent Systems 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers

2024-12-30T23:02:46Z

Author Dastani, Mehdi. editor. Hübner, Jomi F. editor. Logan, Brian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334652.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38700-5
Format: Electronic Resources
Availability Online Library~1

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings

2024-12-30T23:02:46Z

Author McMillan, Ken. editor. Middeldorp, Aart. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335196.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45221-5
Format: Electronic Resources
Availability Online Library~1

Credibilistic Programming An Introduction to Models and Applications

2024-12-30T23:02:46Z

Author Li, Xiang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334188.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36376-4
Format: Electronic Resources
Availability Online Library~1

Programming Logics Essays in Memory of Harald Ganzinger

2024-12-30T23:02:46Z

Author Voronkov, Andrei. editor. Weidenbach, Christoph. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334468.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37651-1
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-30T23:02: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

Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers

2024-12-30T23:02:46Z

Author Riguzzi, Fabrizio. editor. Železný, Filip. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334673.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38812-5
Format: Electronic Resources
Availability Online Library~1

Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

2024-12-30T23:02:46Z

Author Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334841.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39721-9
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-30T23:02: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

Applications of Declarative Programming and Knowledge Management 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers

2024-12-30T23:02:46Z

Author Tompits, Hans. editor. Abreu, Salvador. editor. Oetsch, Johannes. editor. Pührer, Jörg. editor. Seipel, Dietmar. editor.
Preferred Shelf Number ONLINE(335118.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41524-1
Format: Electronic Resources
Availability Online Library~1

Programming Multi-Agent Systems 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011, Revised Selected Papers

2024-12-30T23:02:46Z

Author Dennis, Louise. editor. Boissier, Olivier. editor. Bordini, Rafael H. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31915-0
Format: Electronic Resources
Availability Online Library~1

Inductive Logic Programming 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 – August 3, 2011, Revised Selected Papers

2024-12-30T23:02:46Z

Author Muggleton, Stephen H. editor. Tamaddoni-Nezhad, Alireza. editor. Lisi, Francesca A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31951-8
Format: Electronic Resources
Availability Online Library~1

Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings

2024-12-30T23:02:46Z

Author Bjørner, Nikolaj. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28717-6
Format: Electronic Resources
Availability Online Library~1

Programming Multi-Agent Systems 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010. Revised Selected Papers

2024-12-30T23:02:46Z

Author Collier, Rem. editor. Dix, Jürgen. editor. Novák, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28939-2
Format: Electronic Resources
Availability Online Library~1

Functional and Logic Programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings

2024-12-30T23:02:46Z

Author Schrijvers, Tom. editor. Thiemann, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29822-6
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-30T23:02: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

Scientific Workflows Programming, Optimization, and Synthesis with ASKALON and AWDL

2024-12-30T23:02:46Z

Author Qin, Jun. author. Fahringer, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30715-7
Format: Electronic Resources
Availability Online Library~1

Simulation, Modeling, and Programming for Autonomous Robots Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012. Proceedings

2024-12-30T23:02:46Z

Author Noda, Itsuki. editor. Ando, Noriaki. editor. Brugali, Davide. editor. Kuffner, James J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34327-8
Format: Electronic Resources
Availability Online Library~1

Genetic Programming 15th European Conference, EuroGP 2012, Málaga, Spain, April 11-13, 2012. Proceedings

2024-12-30T23:02:46Z

Author Moraglio, Alberto. editor. Silva, Sara. editor. Krawiec, Krzysztof. editor. Machado, Penousal. editor. Cotta, Carlos. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29139-5
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-30T23:02: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

DNA Computing and Molecular Programming 16th International Conference, DNA 16, Hong Kong, China, June 14-17, 2010, Revised Selected Papers

2024-12-30T23:02:46Z

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

Genetic Programming 14th European Conference, EuroGP 2011, Torino, Italy, April 27-29, 2011. Proceedings

2024-12-30T23:02:46Z

Author Silva, Sara. editor. Foster, James A. editor. Nicolau, Miguel. editor. Machado, Penousal. editor. Giacobini, Mario. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20407-4
Format: Electronic Resources
Availability Online Library~1

Applications of Declarative Programming and Knowledge Management 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers

2024-12-30T23:02:46Z

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

Functional and Constraint Logic Programming 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers

2024-12-30T23:02:46Z

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

Functional and Constraint Logic Programming 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings

2024-12-30T23:02:46Z

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

Rule-Based Reasoning, Programming, and Applications 5th International Symposium, RuleML 2011 – Europe, Barcelona, Spain, July 19-21, 2011. Proceedings

2024-12-30T23:02:46Z

Author Bassiliades, Nick. editor. Governatori, Guido. editor. Paschke, Adrian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22546-8
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-30T23:02: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

Principles and Practice of Constraint Programming – CP 2011 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings

2024-12-30T23:02:46Z

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

Recent Advances in Constraints 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers

2024-12-30T23:02:46Z

Author Larrosa, Javier. editor. O’Sullivan, Barry. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19486-3
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

2024-12-30T23:02:46Z

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

Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday

2024-12-30T23:02:46Z

Author Balduccini, Marcello. editor. Son, Tran Cao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20832-4
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-30T23:02: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

Inductive Logic Programming 20th International Conference, ILP 2010, Florence, Italy, June 27-30, 2010. Revised Papers

2024-12-30T23:02:46Z

Author Frasconi, Paolo. editor. Lisi, Francesca A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21295-6
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-30T23:02: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

Space-Time Continuous Models of Swarm Robotic Systems Supporting Global-to-Local Programming

2024-12-30T23:02:46Z

Author Hamann, Heiko. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13377-0
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-30T23:02: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

Unifying Theories of Programming Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers

2024-12-30T23:02:46Z

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

Principles and Practice of Constraint Programming – CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010. Proceedings

2024-12-30T23:02:46Z

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

Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings

2024-12-30T23:02:46Z

Author Fermüller, Christian G. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16242-8
Format: Electronic Resources
Availability Online Library~1

Unifying Theories of Programming Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings

2024-12-30T23:02:46Z

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

Simulation, Modeling, and Programming for Autonomous Robots Second International Conference, SIMPAR 2010, Darmstadt, Germany, November 15-18, 2010. Proceedings

2024-12-30T23:02:46Z

Author Ando, Noriaki. editor. Balakirsky, Stephen. editor. Hemker, Thomas. editor. Reggiani, Monica. editor. Stryk, Oskar. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17319-6
Format: Electronic Resources
Availability Online Library~1

New Developments in Multiple Objective and Goal Programming

2024-12-30T23:02:46Z

Author Jones, Dylan. editor. Tamiz, Mehrdad. editor. Ries, Jana. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10354-4
Format: Electronic Resources
Availability Online Library~1

Genetic Programming 13th European Conference, EuroGP 2010, Istanbul, Turkey, April 7-9, 2010. Proceedings

2024-12-30T23:02:46Z

Author Esparcia-Alcázar, Anna Isabel. editor. Ekárt, Anikó. editor. Silva, Sara. editor. Dignum, Stephen. editor. Uyar, A. Şima. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12148-7
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-30T23:02: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

Approaches and Applications of Inductive Programming Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers

2024-12-30T23:02:46Z

Author Schmid, Ute. editor. Kitzelmann, Emanuel. editor. Plasmeijer, Rinus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11931-6
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

2024-12-30T23:02:46Z

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

Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers

2024-12-30T23:02:46Z

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

Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings

2024-12-30T23:02:46Z

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

Programming Mobile Robots with Aria and Player A Guide to C++ Object-Oriented Control

2024-12-30T23:02:46Z

Author Whitbrook, Amanda. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84882-864-3
Format: Electronic Resources
Availability Online Library~1

A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP

2024-12-30T23:02:46Z

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

Programming Multi-Agent Systems 7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009. Revised Selected Papers

2024-12-30T23:02:46Z

Author Braubach, Lars. editor. Briot, Jean-Pierre. editor. Thangarajah, John. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14843-9
Format: Electronic Resources
Availability Online Library~1

Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers

2024-12-30T23:02:46Z

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

Genetic Programming 12th European Conference, EuroGP 2009 Tübingen, Germany, April 15-17, 2009 Proceedings

2024-12-30T23:02:46Z

Author Vanneschi, Leonardo. editor. Gustafson, Steven. editor. Moraglio, Alberto. editor. Falco, Ivanoe. editor. Ebner, Marc. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01181-8
Format: Electronic Resources
Availability Online Library~1

Recent Advances in Constraints 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers

2024-12-30T23:02:46Z

Author Oddi, Angelo. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03251-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-30T23:02: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

DNA Computing and Molecular Programming 15th International Conference, DNA 15, Fayetteville, AR, USA, June 8-11, 2009, Revised Selected Papers

2024-12-30T23:02:46Z

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

Applications of Declarative Programming and Knowledge Management 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers

2024-12-30T23:02:46Z

Author Seipel, Dietmar. editor. Hanus, Michael. editor. Wolf, Armin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00675-3
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-30T23:02: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 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings

2024-12-30T23:02:46Z

Author Hill, Patricia M. editor. Warren, David S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02846-5
Format: Electronic Resources
Availability Online Library~1

Programming Multi-Agent Systems 6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008. Revised Invited and Selected Papers

2024-12-30T23:02:46Z

Author Hindriks, Koen V. editor. Pokahr, Alexander. editor. Sardina, Sebastian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03278-3
Format: Electronic Resources
Availability Online Library~1

Simulation, Modeling, and Programming for Autonomous Robots First International Conference, SIMPAR 2008 Venice, Italy, November 3-6, 2008. Proceedings

2024-12-30T23:02:46Z

Author Carpin, Stefano. editor. Noda, Itsuki. editor. Pagello, Enrico. editor. Reggiani, Monica. editor. Stryk, Oskar. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-89076-8
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-30T23:02: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

Genetic Programming 11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008. Proceedings

2024-12-30T23:02:46Z

Author O’Neill, Michael. editor. Vanneschi, Leonardo. editor. Gustafson, Steven. editor. Esparcia Alcázar, Anna Isabel. editor. Falco, Ivanoe. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78671-9
Format: Electronic Resources
Availability Online Library~1

Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings

2024-12-30T23:02:46Z

Author Garrigue, Jacques. editor. Hermenegildo, Manuel V. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78969-7
Format: Electronic Resources
Availability Online Library~1

Programming Multi-Agent Systems 5th International Workshop, ProMAS 2007 Honolulu, HI, USA, May 15, 2007 Revised and Invited Papers

2024-12-30T23:02:46Z

Author Dastani, Mehdi. editor. El Fallah Seghrouchni, Amal. editor. Ricci, Alessandro. editor. Winikoff, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-79043-3
Format: Electronic Resources
Availability Online Library~1

Recent Advances in Constraints 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers

2024-12-30T23:02:46Z

Author Fages, François. editor. Rossi, Francesca. editor. Soliman, Sylvain. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-89812-2
Format: Electronic Resources
Availability Online Library~1

Inductive Logic Programming 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers

2024-12-30T23:02:46Z

Author Blockeel, Hendrik. editor. Ramon, Jan. editor. Shavlik, Jude. editor. Tadepalli, Prasad. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78469-2
Format: Electronic Resources
Availability Online Library~1

Inductive Logic Programming 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008 Proceedings

2024-12-30T23:02:46Z

Author Železný, Filip. editor. Lavrač, Nada. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85928-4
Format: Electronic Resources
Availability Online Library~1

Principles and Practice of Constraint Programming 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings

2024-12-30T23:02:46Z

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

Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings

2024-12-30T23:02:46Z

Author Cervesato, Iliano. editor. Veith, Helmut. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-89439-1
Format: Electronic Resources
Availability Online Library~1

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings

2024-12-30T23:02:46Z

Author Garcia de la Banda, Maria. editor. Pontelli, Enrico. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-89982-2
Format: Electronic Resources
Availability Online Library~1

Genetic Programming 10th European Conference, EuroGP 2007, Valencia, Spain, April 11-13, 2007. Proceedings

2024-12-30T23:02:46Z

Author Ebner, Marc. editor. O’Neill, Michael. editor. Ekárt, Anikó. editor. Vanneschi, Leonardo. editor. Esparcia-Alcázar, Anna Isabel. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71605-1
Format: Electronic Resources
Availability Online Library~1

Programming Multi-Agent Systems 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers

2024-12-30T23:02:46Z

Author Bordini, Rafael H. editor. Dastani, Mehdi. editor. Dix, Jürgen. editor. Seghrouchni, Amal El Fallah. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71956-4
Format: Electronic Resources
Availability Online Library~1

Recent Advances in Constraints 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers

2024-12-30T23:02:46Z

Author Azevedo, Francisco. editor. Barahona, Pedro. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73817-6
Format: Electronic Resources
Availability Online Library~1

Inductive Logic Programming 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers

2024-12-30T23:02:46Z

Author Muggleton, Stephen. editor. Otero, Ramon. editor. Tamaddoni-Nezhad, Alireza. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73847-3
Format: Electronic Resources
Availability Online Library~1

Principles and Practice of Constraint Programming – CP 2007 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007. Proceedings

2024-12-30T23:02:46Z

Author Bessière, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74970-7
Format: Electronic Resources
Availability Online Library~1

Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings

2024-12-30T23:02:46Z

Author Dahl, Véronica. editor. Niemelä, Ilkka. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74610-2
Format: Electronic Resources
Availability Online Library~1

Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings

2024-12-30T23:02:46Z

Author Dershowitz, Nachum. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75560-9
Format: Electronic Resources
Availability Online Library~1

Logic Programming and Nonmonotonic Reasoning 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007. Proceedings

2024-12-30T23:02:46Z

Author Baral, Chitta. editor. Brewka, Gerhard. editor. Schlipf, John. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72200-7
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-30T23:02: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

Programming for Peace Computer-Aided Methods for International Conflict Resolution and Prevention

2024-12-30T23:02:46Z

Author Trappl, Robert. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-4390-2
Format: Electronic Resources
Availability Online Library~1

Programming Multi-Agent Systems Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers

2024-12-30T23:02:46Z

Author Bordini, Rafael H. editor. Dastani, Mehdi M. editor. Dix, Jürgen. editor. Fallah Seghrouchni, Amal. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11678823
Format: Electronic Resources
Availability Online Library~1

Gene Expression Programming Mathematical Modeling by an Artificial Intelligence

2024-12-30T23:02:46Z

Author Ferreira, Cândida. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-32849-1
Format: Electronic Resources
Availability Online Library~1

Parallel and Distributed Logic Programming Towards the Design of a Framework for the Next Generation Database Machines

2024-12-30T23:02:46Z

Author Bhattacharya, Alakananda. author. Konar, Amit. author. Mandal, Ajit K. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-33459-0
Format: Electronic Resources
Availability Online Library~1

Recent Advances in Constraints Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers

2024-12-30T23:02:46Z

Author Hnich, Brahim. editor. Carlsson, Mats. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11754602
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-30T23:02: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

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings

2024-12-30T23:02:46Z

Author Etalle, Sandro. editor. Truszczyński, Mirosław. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11799573
Format: Electronic Resources
Availability Online Library~1

Principles and Practice of Constraint Programming - CP 2006 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006. Proceedings

2024-12-30T23:02:46Z

Author Benhamou, Frédéric. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11889205
Format: Electronic Resources
Availability Online Library~1

Declarative Programming for Knowledge Management 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005. Revised Selected Papers

2024-12-30T23:02:46Z

Author Umeda, Masanobu. editor. Wolf, Armin. editor. Bartenstein, Oskar. editor. Geske, Ulrich. editor. Seipel, Dietmar. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11963578
Format: Electronic Resources
Availability Online Library~1

Adaptive Learning of Polynomial Networks Genetic Programming, Backpropagation and Bayesian Methods

2024-12-30T23:02:46Z

Author Nikolaev, Nikolay Y. author. Iba, Hitoshi. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-31240-4
Format: Electronic Resources
Availability Online Library~1

Genetic Programming 9th European Conference, EuroGP 2006, Budapest, Hungary, April 10-12, 2006. Proceedings

2024-12-30T23:02:46Z

Author Collet, Pierre. editor. Tomassini, Marco. editor. Ebner, Marc. editor. Gustafson, Steven. editor. Ekárt, Anikó. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11729976
Format: Electronic Resources
Availability Online Library~1

Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedings

2024-12-30T23:02:46Z

Author Hagiya, Masami. editor. Wadler, Philip. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11737414
Format: Electronic Resources
Availability Online Library~1

Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings

2024-12-30T23:02:46Z

Author Hermann, Miki. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11916277
Format: Electronic Resources
Availability Online Library~1

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings

2024-12-30T23:02:46Z

Author Sutcliffe, Geoff. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11591191
Format: Electronic Resources
Availability Online Library~1

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005. Proceedings

2024-12-30T23:02:46Z

Author Gabbrielli, Maurizio. editor. Gupta, Gopal. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11562931
Format: Electronic Resources
Availability Online Library~1

Reasoning Robots The Art and Science of Programming Robotic Agents

2024-12-30T23:02:46Z

Author Thielscher, Michael. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-3069-X
Format: Electronic Resources
Availability Online Library~1

Logic Programming and Nonmonotonic Reasoning 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005. Proceedings

2024-12-30T23:02:46Z

Author Baral, Chitta. editor. Greco, Gianluigi. editor. Leone, Nicola. editor. Terracina, Giorgio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11546207
Format: Electronic Resources
Availability Online Library~1

Inductive Logic Programming 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005. Proceedings

2024-12-30T23:02:46Z

Author Kramer, Stefan. editor. Pfahringer, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11536314
Format: Electronic Resources
Availability Online Library~1

Principles and Practice of Constraint Programming - CP 2005 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005. Proceedings

2024-12-30T23:02:46Z

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

Genetic Programming 8th European Conference, EuroGP 2005, Lausanne, Switzerland, March 30 - April 1, 2005. Proceedings

2024-12-30T23:02:46Z

Author Keijzer, Maarten. editor. Tettamanzi, Andrea. editor. Collet, Pierre. editor. Hemert, Jano. editor. Tomassini, Marco. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b107383
Format: Electronic Resources
Availability Online Library~1

Applications of Declarative Programming and Knowledge Management 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers

2024-12-30T23:02:46Z

Author Seipel, Dietmar. editor. Hanus, Michael. editor. Geske, Ulrich. editor. Bartenstein, Oskar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b135595
Format: Electronic Resources
Availability Online Library~1

Recent Advances in Constraints Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers

2024-12-30T23:02:46Z

Author Faltings, Boi V. editor. Petcu, Adrian. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106890
Format: Electronic Resources
Availability Online Library~1

Programming Multi-Agent Systems Second International Workshop ProMAS 2004, New York, NY, USA, July 20, 2004, Selected Revised and Invited Papers

2024-12-30T23:02:46Z

Author Bordini, Rafael H. editor. Dastani, Mehdi. editor. Dix, Jürgen. editor. Fallah Seghrouchni, Amal. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105887
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-30T23:02: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

Logic for Programming, Artificial Intelligence, and Reasoning 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings

2024-12-30T23:02:46Z

Author Baader, Franz. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106931
Format: Electronic Resources
Availability Online Library~1

Reuse in the Big Data Era 18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26–28, 2019, Proceedings

2024-12-30T23:02:46Z

Author Peng, Xin. editor. Ampatzoglou, Apostolos. editor. Bhowmik, Tanmay. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-22888-0
Format: Electronic Resources
Availability Online Library~1

Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers

2024-12-30T23:02:46Z

Author Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750 Massink, Mieke. editor. (orcid)0000-0001-5089-002X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-31517-7
Format: Electronic Resources
Availability Online Library~1

Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

2024-12-30T23:02:46Z

Author ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 McIver, Annabelle. editor. (orcid)0000-0002-2405-9838 Oliveira, José N. editor. (orcid)0000-0002-0196-4229 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30942-8
Format: Electronic Resources
Availability Online Library~1

Computer Safety, Reliability, and Security 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings

2024-12-30T23:02:46Z

Author Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 Troubitsyna, Elena. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-26601-1
Format: Electronic Resources
Availability Online Library~1

Practical Aspects of Declarative Languages 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings

2024-12-30T23:02:46Z

Author Alferes, José Júlio. editor. Johansson, Moa. editor. (orcid)0000-0002-1097-8278 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-05998-9
Format: Electronic Resources
Availability Online Library~1

Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings

2024-12-30T23:02:46Z

Author Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712 Qin, Shengchao. editor. (orcid)0000-0003-3028-8191 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-32409-4
Format: Electronic Resources
Availability Online Library~1

Computer Safety, Reliability, and Security SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings

2024-12-30T23:02:46Z

Author Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 Troubitsyna, Elena. editor. Gashi, Ilir. editor. Schoitsch, Erwin. editor. (orcid)0000-0002-0335-5443 Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-26250-1
Format: Electronic Resources
Availability Online Library~1

Intelligent Tutoring Systems 15th International Conference, ITS 2019, Kingston, Jamaica, June 3–7, 2019, Proceedings

2024-12-30T23:02:46Z

Author Coy, Andre. editor. Hayashi, Yugo. editor. Chang, Maiga. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-22244-4
Format: Electronic Resources
Availability Online Library~1

Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings

2024-12-30T23:02:46Z

Author Chen, Yu-Fang. editor. (orcid)0000-0003-2872-0336 Cheng, Chih-Hong. editor. Esparza, Javier. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-31784-3
Format: Electronic Resources
Availability Online Library~1

Model and Data Engineering 9th International Conference, MEDI 2019, Toulouse, France, October 28–31, 2019, Proceedings

2024-12-30T23:02:46Z

Author Schewe, Klaus-Dieter. editor. (orcid)0000-0002-8309-1803 Singh, Neeraj Kumar. editor. (orcid)0000-0002-1124-0179 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-32065-2
Format: Electronic Resources
Availability Online Library~1

Product-Focused Software Process Improvement 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings

2024-12-30T23:02:46Z

Author Franch, Xavier. editor. (orcid)0000-0001-9733-8830 Männistö, Tomi. editor. (orcid)0000-0001-7470-5183 Martínez-Fernández, Silverio. editor. (orcid)0000-0001-9928-133X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-35333-9
Format: Electronic Resources
Availability Online Library~1

Software Engineering for Resilient Systems 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings

2024-12-30T23:02:46Z

Author Calinescu, Radu. editor. (orcid)0000-0002-2678-9260 Di Giandomenico, Felicita. editor. (orcid)0000-0002-8760-7299 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30856-8
Format: Electronic Resources
Availability Online Library~1

Services Computing – SCC 2019 16th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings

2024-12-30T23:02:46Z

Author Ferreira, Joao Eduardo. editor. (orcid)0000-0001-9607-2014 Musaev, Aibek. editor. (orcid)0000-0001-5836-8754 Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-23554-3
Format: Electronic Resources
Availability Online Library~1

Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures

2024-12-30T23:02:46Z

Author Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17601-3
Format: Electronic Resources
Availability Online Library~1

Service-Oriented Computing 17th International Conference, ICSOC 2019, Toulouse, France, October 28–31, 2019, Proceedings

2024-12-30T23:02:46Z

Author Yangui, Sami. editor. (orcid)0000-0001-9756-642X Bouassida Rodriguez, Ismael. editor. Drira, Khalil. editor. (orcid)0000-0002-4770-1563 Tari, Zahir. editor. (orcid)0000-0002-1235-9673 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-33702-5
Format: Electronic Resources
Availability Online Library~1

Service-Oriented Computing – ICSOC 2018 Workshops ADMS, ASOCA, ISYyCC, CloTS, DDBS, and NLS4IoT, Hangzhou, China, November 12–15, 2018, Revised Selected Papers

2024-12-30T23:02:46Z

Author Liu, Xiao. editor. Mrissa, Michael. editor. Zhang, Liang. editor. Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060 Ghose, Aditya. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17642-6
Format: Electronic Resources
Availability Online Library~1

Reversible Computation 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings

2024-12-30T23:02:46Z

Author Thomsen, Michael Kirkedal. editor. (orcid)0000-0003-0922-3609 Soeken, Mathias. editor. (orcid)0000-0002-0229-8766 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-21500-2
Format: Electronic Resources
Availability Online Library~1

Web Services – ICWS 2019 26th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings

2024-12-30T23:02:46Z

Author Miller, John. editor. Stroulia, Eleni. editor. Lee, Kisung. editor. (orcid)0000-0003-4367-4374 Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-23499-7
Format: Electronic Resources
Availability Online Library~1

Rules and Reasoning Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings

2024-12-30T23:02:46Z

Author Fodor, Paul. editor. (orcid)0000-0002-2978-676X Montali, Marco. editor. (orcid)0000-0002-8021-3430 Calvanese, Diego. editor. (orcid)0000-0001-5174-9693 Roman, Dumitru. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-31095-0
Format: Electronic Resources
Availability Online Library~1

Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments Second International Conference, ISDDC 2018, Vancouver, BC, Canada, November 28–30, 2018, Proceedings

2024-12-30T23:02:46Z

Author Traore, Issa. editor. (orcid)0000-0003-2987-8047 Woungang, Isaac. editor. (orcid)0000-0003-2484-4649 Ahmed, Sherif Saad. editor. Malik, Yasir. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-03712-3
Format: Electronic Resources
Availability Online Library~1

Computer Performance Engineering 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings

2024-12-30T23:02:46Z

Author Bakhshi, Rena. editor. Ballarini, Paolo. editor. Barbot, Benoît. editor. Castel-Taleb, Hind. editor. Remke, Anne. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02227-3
Format: Electronic Resources
Availability Online Library~1

Services Computing – SCC 2018 15th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings

2024-12-30T23:02:46Z

Author Ferreira, João Eduardo. editor. (orcid)0000-0001-9607-2014 Spanoudakis, George. editor. Ma, Yutao. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94376-3
Format: Electronic Resources
Availability Online Library~1

Requirements Engineering: Foundation for Software Quality 24th International Working Conference, REFSQ 2018, Utrecht, The Netherlands, March 19-22, 2018, Proceedings

2024-12-30T23:02:46Z

Author Kamsties, Erik. editor. (orcid)0000-0002-7373-8466 Horkoff, Jennifer. editor. (orcid)0000-0002-2019-5277 Dalpiaz, Fabiano. editor. (orcid)0000-0003-4480-3887 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-77243-1
Format: Electronic Resources
Availability Online Library~1

NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings

2024-12-30T23:02:46Z

Author Dutle, Aaron. editor. Muñoz, César. editor. Narkawicz, Anthony. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-77935-5
Format: Electronic Resources
Availability Online Library~1

Web Services – ICWS 2018 25th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings

2024-12-30T23:02:46Z

Author Jin, Hai. editor. Wang, Qingyang. editor. (orcid)0000-0002-5729-2898 Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94289-6
Format: Electronic Resources
Availability Online Library~1

Integrated Formal Methods 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings

2024-12-30T23:02:46Z

Author Furia, Carlo A. editor. Winter, Kirsten. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-98938-9
Format: Electronic Resources
Availability Online Library~1

Computer Safety, Reliability, and Security SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings

2024-12-30T23:02:46Z

Author Gallina, Barbara. editor. (orcid)0000-0002-6952-1053 Skavhaug, Amund. editor. Schoitsch, Erwin. editor. (orcid)0000-0002-0335-5443 Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99229-7
Format: Electronic Resources
Availability Online Library~1

Reversible Computation 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings

2024-12-30T23:02:46Z

Author Kari, Jarkko. editor. (orcid)0000-0003-0670-6138 Ulidowski, Irek. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99498-7
Format: Electronic Resources
Availability Online Library~1

Rules and Reasoning Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings

2024-12-30T23:02:46Z

Author Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Ricca, Francesco. editor. Parent, Xavier. editor. Roman, Dumitru. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99906-7
Format: Electronic Resources
Availability Online Library~1

Model and Data Engineering 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedings

2024-12-30T23:02:46Z

Author Abdelwahed, El Hassan. editor. Bellatreche, Ladjel. editor. (orcid)0000-0001-9968-0066 Golfarelli, Mattéo. editor. (orcid)0000-0002-0437-0725 Méry, Dominique. editor. (orcid)0000-0001-5231-6611 Ordonez, Carlos. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00856-7
Format: Electronic Resources
Availability Online Library~1

New Opportunities for Software Reuse 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings

2024-12-30T23:02:46Z

Author Capilla, Rafael. editor. (orcid)0000-0002-6943-1285 Gallina, Barbara. editor. (orcid)0000-0002-6952-1053 Cetina, Carlos. editor. (orcid)0000-0001-8542-5515 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-90421-4
Format: Electronic Resources
Availability Online Library~1

Software Technologies: Applications and Foundations STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers

2024-12-30T23:02:46Z

Author Seidl, Martina. editor. Zschaler, Steffen. editor. (orcid)0000-0001-9062-6637 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-74730-9
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers

2024-12-30T23:02:46Z

Author Cerone, Antonio. editor. (orcid)0000-0003-2691-5279 Roveri, Marco. editor. (orcid)0000-0001-9483-3940 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-74781-1
Format: Electronic Resources
Availability Online Library~1

Intelligent Tutoring Systems 14th International Conference, ITS 2018, Montreal, QC, Canada, June 11–15, 2018, Proceedings

2024-12-30T23:02:46Z

Author Nkambou, Roger. editor. Azevedo, Roger. editor. Vassileva, Julita. editor. (orcid)0000-0001-5050-3106 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91464-0
Format: Electronic Resources
Availability Online Library~1

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

2024-12-30T23:02:46Z

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

Measurement, Modelling and Evaluation of Computing Systems 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings

2024-12-30T23:02:46Z

Author German, Reinhard. editor. Hielscher, Kai-Steffen. editor. Krieger, Udo R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-74947-1
Format: Electronic Resources
Availability Online Library~1

It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab

2024-12-30T23:02:46Z

Author de Boer, Frank. editor. Bonsangue, Marcello. editor. Rutten, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-90089-6
Format: Electronic Resources
Availability Online Library~1

Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

2024-12-30T23:02:46Z

Author Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 Peleska, Jan. editor. (orcid)0000-0003-3667-9775 Roscoe, Bill. editor. de Vink, Erik. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-95582-7
Format: Electronic Resources
Availability Online Library~1

Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings

2024-12-30T23:02:46Z

Author Medina-Bulo, Inmaculada. editor. Merayo, Mercedes G. editor. Hierons, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99927-2
Format: Electronic Resources
Availability Online Library~1

Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers

2024-12-30T23:02:46Z

Author Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948 Ober, Iulian. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-04771-9
Format: Electronic Resources
Availability Online Library~1

Machine Learning for Dynamic Software Analysis: Potentials and Limits International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers

2024-12-30T23:02:46Z

Author Bennaceur, Amel. editor. (orcid)0000-0002-6124-9622 Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613 Meinke, Karl. editor. (orcid)0000-0002-9706-5008 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-96562-8
Format: Electronic Resources
Availability Online Library~1

On the Move to Meaningful Internet Systems. OTM 2018 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part I

2024-12-30T23:02:46Z

Author Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Debruyne, Christophe. editor. Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 Ardagna, Claudio Agostino. editor. Roman, Dumitru. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02610-3
Format: Electronic Resources
Availability Online Library~1

Principles of Modeling Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday

2024-12-30T23:02:46Z

Author Lohstroh, Marten. editor. Derler, Patricia. editor. Sirjani, Marjan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-95246-8
Format: Electronic Resources
Availability Online Library~1

On the Move to Meaningful Internet Systems. OTM 2018 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part II

2024-12-30T23:02:46Z

Author Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Debruyne, Christophe. editor. Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 Ardagna, Claudio Agostino. editor. Roman, Dumitru. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02671-4
Format: Electronic Resources
Availability Online Library~1

Rules on the Web: From Theory to Applications 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18-20, 2014, Proceedings

2024-12-30T23:02:46Z

Author Bikakis, Antonis. editor. Fodor, Paul. editor. Roman, Dumitru. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09870-8
Format: Electronic Resources
Availability Online Library~1

Information Technology and Open Source: Applications for Education, Innovation, and Sustainability SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece, October 1–2, 2012 Revised Selected Papers

2024-12-30T23:02:46Z

Author Cerone, Antonio. editor. Persico, Donatella. editor. Fernandes, Sara. editor. Garcia-Perez, Alexeis. editor. Katsaros, Panagiotis. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54338-8
Format: Electronic Resources
Availability Online Library~1

Intelligent Tutoring Systems 12th International Conference, ITS 2014, Honolulu, HI, USA, June 5-9, 2014. Proceedings

2024-12-30T23:02:46Z

Author Trausan-Matu, Stefan. editor. Boyer, Kristy. editor. Crosby, Martha. editor. Panourgia, Kitty. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07221-0
Format: Electronic Resources
Availability Online Library~1

Model and Data Engineering 4th International Conference, MEDI 2014, Larnaca, Cyprus, September 24-26, 2014. Proceedings

2024-12-30T23:02:46Z

Author Ait Ameur, Yamine. editor. Bellatreche, Ladjel. editor. Papadopoulos, George A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11587-0
Format: Electronic Resources
Availability Online Library~1

Human-Centered Software Engineering 5th IFIP WG 13.2 International Conference, HCSE 2014, Paderborn, Germany, September 16-18, 2014. Proceedings

2024-12-30T23:02:46Z

Author Sauer, Stefan. editor. Bogdan, Cristian. editor. (orcid)0000-0001-7549-1797 Forbrig, Peter. editor. Bernhaupt, Regina. editor. Winckler, Marco. editor. (orcid)0000-0002-0756-6934
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44811-3
Format: Electronic Resources
Availability Online Library~1

Applied Algorithms First International Conference, ICAA 2014, Kolkata, India, January 13-15, 2014. Proceedings

2024-12-30T23:02:46Z

Author Gupta, Prosenjit. editor. Zaroliagis, Christos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-04126-1
Format: Electronic Resources
Availability Online Library~1

Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

2024-12-30T23:02:46Z

Author Giannakopoulou, Dimitra. editor. Kroening, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12154-3
Format: Electronic Resources
Availability Online Library~1

Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers

2024-12-30T23:02:46Z

Author Cohen, Ernie. editor. Rybalchenko, Andrey. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54108-7
Format: Electronic Resources
Availability Online Library~1

Software Reuse for Dynamic Systems in the Cloud and Beyond 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings

2024-12-30T23:02:46Z

Author Schaefer, Ina. editor. Stamelos, Ioannis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-14130-5
Format: Electronic Resources
Availability Online Library~1

Concurrent Objects and Beyond Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday

2024-12-30T23:02:46Z

Author Agha, Gul. editor. Igarashi, Atsushi. editor. Kobayashi, Naoki. editor. Masuhara, Hidehiko. editor. Matsuoka, Satoshi. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44471-9
Format: Electronic Resources
Availability Online Library~1

Optimizasyon ve MATLAB uygulamaları

2024-12-30T23:02:46Z

Author Tezel Özturan, Aysun.
Preferred Shelf Number QA402.5 T49 2022
Format: Books
Availability Beytepe Library~1

Uygulamalı derin öğrenme

2024-12-30T23:02:46Z

Author Özkan, Yalçın.
Preferred Shelf Number Q335 O95 2021
Format: Books
Availability Beytepe Library~1

Agreement Technologies 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers

2024-12-30T23:02:46Z

Author Lujak, Marin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17294-7
Format: Electronic Resources
Availability Online Library~1

High Performance Computing for Computational Science – VECPAR 2018 13th International Conference, São Pedro, Brazil, September 17-19, 2018, Revised Selected Papers

2024-12-30T23:02:46Z

Author Senger, Hermes. editor. (orcid)0000-0003-1273-9809 Marques, Osni. editor. Garcia, Rogerio. editor. (orcid)0000-0003-1248-528X Pinheiro de Brito, Tatiana. editor. Iope, Rogério. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-15996-2
Format: Electronic Resources
Availability Online Library~1

Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers

2024-12-30T23:02:46Z

Author Mesnard, Fred. editor. Stuckey, Peter J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-13838-7
Format: Electronic Resources
Availability Online Library~1

Graphical Models for Security 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers

2024-12-30T23:02:46Z

Author Cybenko, George. editor. (orcid)0000-0001-7734-2912 Pym, David. editor. (orcid)0000-0002-6504-5838 Fila, Barbara. editor. (orcid)0000-0002-1824-7621 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-15465-3
Format: Electronic Resources
Availability Online Library~1

Computing and Software Science State of the Art and Perspectives

2024-12-30T23:02:46Z

Author Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 Woeginger, Gerhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91908-9
Format: Electronic Resources
Availability Online Library~1

Deep Reinforcement Learning Frontiers of Artificial Intelligence

2024-12-30T23:02:46Z

Author Sewak, Mohit. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-8285-7
Format: Electronic Resources
Availability Online Library~1

From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

2024-12-30T23:02:46Z

Author ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667 Semini, Laura. editor. (orcid)0000-0001-8774-2346 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30985-5
Format: Electronic Resources
Availability Online Library~1

Multi-Agent Systems 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers

2024-12-30T23:02:46Z

Author Slavkovik, Marija. editor. (orcid)0000-0003-2548-8623 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-14174-5
Format: Electronic Resources
Availability Online Library~1

Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

2024-12-30T23:02:46Z

Author Bojańczyk, Mikołaj. editor. Simpson, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17127-8
Format: Electronic Resources
Availability Online Library~1

Optimizasyon ve MATLAB uygulamaları

2024-12-30T23:02:46Z

Author Tezel Özturan, Aysun.
Preferred Shelf Number QA402.5 T49 2019
Format: Books
Availability Beytepe Library~2

Logics in Artificial Intelligence 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings

2024-12-30T23:02:46Z

Author Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834 Leone, Nicola. editor. Manna, Marco. editor. (orcid)0000-0003-3323-9328 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-19570-0
Format: Electronic Resources
Availability Online Library~1

Data Analytics and Management in Data Intensive Domains 20th International Conference, DAMDID/RCDL 2018, Moscow, Russia, October 9–12, 2018, Revised Selected Papers

2024-12-30T23:02:46Z

Author Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329 Stupnikov, Sergey. editor. (orcid)0000-0003-4720-8215 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-23584-0
Format: Electronic Resources
Availability Online Library~1

Deep Learning with R

2024-12-30T23:02:46Z

Author Ghatak, Abhijit. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-5850-0
Format: Electronic Resources
Availability Online Library~1

Perspectives of System Informatics 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers

2024-12-30T23:02:46Z

Author Bjørner, Nikolaj. editor. Virbitskaite, Irina. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-37487-7
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

2024-12-30T23:02:46Z

Author Ölveczky, Peter Csaba. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30446-1
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence and Games

2024-12-30T23:02:46Z

Author Yannakakis, Georgios N. author. (orcid)0000-0001-7793-1450 Togelius, Julian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-63519-4
Format: Electronic Resources
Availability Online Library~1

Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings

2024-12-30T23:02:46Z

Author Cariani, Fabrizio. editor. Grossi, Davide. editor. Meheus, Joke. editor. Parent, Xavier. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08615-6
Format: Electronic Resources
Availability Online Library~1

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

2024-12-30T23:02:46Z

Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45231-8
Format: Electronic Resources
Availability Online Library~1

Emotion Modeling Towards Pragmatic Computational Models of Affective Processes

2024-12-30T23:02:46Z

Author Bosse, Tibor. editor. Broekens, Joost. editor. Dias, João. editor. (orcid)0000-0002-1653-1821 van der Zwaan, Janneke. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12973-0
Format: Electronic Resources
Availability Online Library~1

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I

2024-12-30T23:02:46Z

Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45234-9
Format: Electronic Resources
Availability Online Library~1

Engineering Multi-Agent Systems Second International Workshop, EMAS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers

2024-12-30T23:02:46Z

Author Dalpiaz, Fabiano. editor. (orcid)0000-0003-4480-3887 Dix, Jürgen. editor. van Riemsdijk, M. Birna. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-14484-9
Format: Electronic Resources
Availability Online Library~1

Autonomic Computing Principles, Design and Implementation

2024-12-30T23:02:46Z

Author Lalanda, Philippe. author. McCann, Julie A. author. Diaconescu, Ada. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331115.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5007-7
Format: Electronic Resources
Availability Online Library~1

Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings

2024-12-30T23:02:46Z

Author Erwig, Martin. editor. Paige, Richard F. editor. Wyk, Eric. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332934.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02654-1
Format: Electronic Resources
Availability Online Library~1

ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers

2024-12-30T23:02:46Z

Author Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Spivakovsky, Aleksander. editor. Zholtkevych, Grygoriy. editor.
Preferred Shelf Number ONLINE(334041.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35737-4
Format: Electronic Resources
Availability Online Library~1

Principles of Data Mining

2024-12-30T23:02:46Z

Author Bramer, Max. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331086.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4884-5
Format: Electronic Resources
Availability Online Library~1

Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings

2024-12-30T23:02:46Z

Author Gonthier, Georges. editor. Norrish, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332982.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03545-1
Format: Electronic Resources
Availability Online Library~1

Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers

2024-12-30T23:02:46Z

Author Lemos, Rogério. editor. Giese, Holger. editor. Müller, Hausi A. editor. Shaw, Mary. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334055.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35813-5
Format: Electronic Resources
Availability Online Library~1

Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers

2024-12-30T23:02:46Z

Author Czarnecki, Krzysztof. editor. Hedin, Görel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334120.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36089-3
Format: Electronic Resources
Availability Online Library~1

Software and Data Technologies 6th International Conference, ICSOFT 2011, Seville, Spain, July 18-21, 2011. Revised Selected Papers

2024-12-30T23:02:46Z

Author Escalona, María José. editor. Cordeiro, José. editor. Shishkov, Boris. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334142.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36177-7
Format: Electronic Resources
Availability Online Library~1

Giants of Computing A Compendium of Select, Pivotal Pioneers

2024-12-30T23:02:46Z

Author O’Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331194.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5340-5
Format: Electronic Resources
Availability Online Library~1

Handbook of Neuroevolution Through Erlang

2024-12-30T23:02:46Z

Author Sher, Gene I. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331512.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-4463-3
Format: Electronic Resources
Availability Online Library~1

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

2024-12-30T23:02:46Z

Author Bertacco, Valeria. editor. Legay, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332962.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03077-7
Format: Electronic Resources
Availability Online Library~1

The Deductive Spreadsheet

2024-12-30T23:02:46Z

Author Cervesato, Iliano. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334475.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37747-1
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-30T23:02: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

Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers

2024-12-30T23:02:46Z

Author Machado, Ricardo J. editor. Maciel, Rita Suzana P. editor. Rubin, Julia. editor. Botterweck, Goetz. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334556.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38209-3
Format: Electronic Resources
Availability Online Library~1

Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

2024-12-30T23:02:46Z

Author Biere, Armin. editor. Nahir, Amir. editor. Vos, Tanja. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334820.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39611-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-30T23:02: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

Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings

2024-12-30T23:02:46Z

Author Leite, João. editor. Son, Tran Cao. editor. Torroni, Paolo. editor. Torre, Leon. editor. Woltran, Stefan. editor.
Preferred Shelf Number ONLINE(334979.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40624-9
Format: Electronic Resources
Availability Online Library~1

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

2024-12-30T23:02:46Z

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

Algorithmic Decision Theory Third International Conference, ADT 2013, Bruxelles, Belgium, November 12-14, 2013, Proceedings

2024-12-30T23:02:46Z

Author Perny, Patrice. editor. Pirlot, Marc. editor. Tsoukiàs, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335124.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41575-3
Format: Electronic Resources
Availability Online Library~1

Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers

2024-12-30T23:02:46Z

Author Duchier, Denys. editor. Parmentier, Yannick. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335125.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41578-4
Format: Electronic Resources
Availability Online Library~1

Engineering Multi-Agent Systems First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers

2024-12-30T23:02:46Z

Author Cossentino, Massimo. editor. Fallah Seghrouchni, Amal. editor. Winikoff, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335210.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45343-4
Format: Electronic Resources
Availability Online Library~1

Artificial intelligence for games

2024-12-30T23:02:46Z

Author Millington, Ian. Funge, John David, 1968-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780123747310
Format: Electronic Resources
Availability Online Library~1

Artificial intelligence and mathematical theory of computation papers in honor of John McCarthy

2024-12-30T23:02:46Z

Author McCarthy, John, 1927-2011. Lifschitz, Vladimir.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780124500105
Format: Electronic Resources
Availability Online Library~1