Search Results for Information. - Narrowed by: Logic design.

Information and Communication Technologies in Education, Research, and Industrial Applications 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papers

2024-12-25T19:07:32Z

Author Bassiliades, Nick. editor. (orcid)0000-0001-6035-1038 Ermolayev, Vadim. editor. (orcid)0000-0002-5159-254X Fill, Hans-Georg. editor. Yakovyna, Vitaliy. editor. (orcid)0000-0003-0133-8591 Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-76168-8
Format: Electronic Resources
Availability Online Library~1

Information and Communication Technologies in Education, Research, and Industrial Applications 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers

2024-12-25T19:07:32Z

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

Software Engineering, Business Continuity, and Education International Conferences ASEA, DRBC and EL 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings

2024-12-25T19:07:32Z

Author Kim, Tai-hoon. editor. Adeli, Hojjat. editor. Kim, Haeng-kon. editor. Kang, Heau-jo. editor. Kim, Kyung Jung. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27207-3
Format: Electronic Resources
Availability Online Library~1

Progress in Cryptology – LATINCRYPT 2017 5th International Conference on Cryptology and Information Security in Latin America, Havana, Cuba, September 20–22, 2017, Revised Selected Papers

2024-12-25T19:07:32Z

Author Lange, Tanja. editor. Dunkelman, Orr. editor. (orcid)0000-0001-5799-2635 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-25283-0
Format: Electronic Resources
Availability Online Library~1

A First Introduction to Quantum Computing and Information

2024-12-25T19:07:32Z

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

Information Security 21st International Conference, ISC 2018, Guildford, UK, September 9–12, 2018, Proceedings

2024-12-25T19:07:32Z

Author Chen, Liqun. editor. (orcid)0000-0003-2680-4907 Manulis, Mark. editor. (orcid)0000-0002-1512-9670 Schneider, Steve. editor. (orcid)0000-0001-8365-6993 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99136-8
Format: Electronic Resources
Availability Online Library~1

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

2024-12-25T19:07:32Z

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

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

2024-12-25T19:07:32Z

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

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

2024-12-25T19:07:32Z

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

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

2024-12-25T19:07:32Z

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

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

2024-12-25T19:07:32Z

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

Advances in Computer Science - ASIAN 2009. Information Security and Privacy 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009. Proceedings

2024-12-25T19:07:32Z

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

Reasoning Web. Semantic Technologies for Information Systems 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures

2024-12-25T19:07:32Z

Author Tessaris, Sergio. editor. Franconi, Enrico. editor. Eiter, Thomas. editor. Gutierrez, Claudio. editor. Handschuh, Siegfried. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03754-2
Format: Electronic Resources
Availability Online Library~1

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

2024-12-25T19:07:32Z

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

Natural Language Processing and Information Systems 12th International Conference on Applications of Natural Language to Information Systems, NLDB 2007, Paris, France, June 27-29, 2007. Proceedings

2024-12-25T19:07:32Z

Author Kedad, Zoubida. editor. Lammari, Nadira. editor. Métais, Elisabeth. editor. Meziane, Farid. editor. Rezgui, Yacine. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73351-5
Format: Electronic Resources
Availability Online Library~1

Natural Language Processing and Information Systems 11th International Conference on Applications of Natural Language to Information Systems, NLDB 2006, Klagenfurt, Austria, May 31 - June 2, 2006. Proceedings

2024-12-25T19:07:32Z

Author Kop, Christian. editor. Fliedl, Günther. editor. Mayr, Heinrich C. editor. Métais, Elisabeth. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11765448
Format: Electronic Resources
Availability Online Library~1

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

2024-12-25T19:07:32Z

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

Natural Language Processing and Information Systems 10th International Conference on Applications of Natural Language to Information Systems, NLDB 2005, Alicante, Spain, June 15-17, 2005. Proceedings

2024-12-25T19:07:32Z

Author Montoyo, Andrés. editor. Muńoz, Rafael. editor. Métais, Elisabeth. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136569
Format: Electronic Resources
Availability Online Library~1

Applied Computer Sciences in Engineering 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16–18, 2019, Proceedings

2024-12-25T19:07:32Z

Author Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 Duarte-González, Mario. editor. Jaramillo-Isaza, Sebastián. editor. (orcid)0000-0002-2134-772X Orjuela-Cañon, Alvaro David. editor. (orcid)0000-0002-2057-7603 Díaz-Gutierrez, Yesid. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-31019-6
Format: Electronic Resources
Availability Online Library~1

Supercomputing 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24–25, 2018, Revised Selected Papers

2024-12-25T19:07:32Z

Author Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Sobolev, Sergey. editor. (orcid)0000-0002-3474-8696 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-05807-4
Format: Electronic Resources
Availability Online Library~1

Computer Engineering and Technology 22nd CCF Conference, NCCET 2018, Yinchuan, China, August 15–17, 2018, Revised Selected Papers

2024-12-25T19:07:32Z

Author Xu, Weixia. editor. Xiao, Liquan. editor. Li, Jinwen. editor. Zhu, Zhenzhen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-5919-4
Format: Electronic Resources
Availability Online Library~1

High-Performance Computing Applications in Numerical Simulation and Edge Computing ACM ICS 2018 International Workshops, HPCMS and HiDEC, Beijing, China, June 12, 2018, Revised Selected Papers

2024-12-25T19:07:32Z

Author Hu, Changjun. editor. Yang, Wen. editor. Jiang, Congfeng. editor. Dai, Dong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-32-9987-0
Format: Electronic Resources
Availability Online Library~1

Computer Science – CACIC 2018 24th Argentine Congress, Tandil, Argentina, October 8–12, 2018, Revised Selected Papers

2024-12-25T19:07:32Z

Author Pesado, Patricia. editor. (orcid)0000-0003-0000-3482 Aciti, Claudio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-20787-8
Format: Electronic Resources
Availability Online Library~1

Parallel Computational Technologies 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2–6, 2018, Revised Selected Papers

2024-12-25T19:07:32Z

Author Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918 Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99673-8
Format: Electronic Resources
Availability Online Library~1

Theoretical Computer Science 36th National Conference, NCTCS 2018, Shanghai, China, October 13–14, 2018, Proceedings

2024-12-25T19:07:32Z

Author Li, Lian. editor. Lu, Pinyan. editor. He, Kun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-2712-4
Format: Electronic Resources
Availability Online Library~1

Model-Driven Engineering and Software Development 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers

2024-12-25T19:07:32Z

Author Pires, Luís Ferreira. editor. Hammoudi, Slimane. editor. Selic, Bran. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94764-8
Format: Electronic Resources
Availability Online Library~1

Advanced Computer Architecture 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings

2024-12-25T19:07:32Z

Author Li, Chao. editor. Wu, Junjie. editor. (orcid)0000-0001-5951-8988 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-2423-9
Format: Electronic Resources
Availability Online Library~1

Embedded Systems Technology 15th National Conference, ESTC 2017, Shenyang, China, November 17-19, 2017, Revised Selected Papers

2024-12-25T19:07:32Z

Author Bi, Yuanguo. editor. Chen, Gang. editor. Deng, Qingxu. editor. Wang, Yi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-1026-3
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-25T19:07:32Z

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

Computer Engineering and Technology 16th National Conference, NCCET 2012, Shanghai, China, August 17-19, 2012, Revised Selected Papers

2024-12-25T19:07:32Z

Author Xu, Weixia. editor. Xiao, Liquan. editor. Lu, Pingjing. editor. Li, Jinwen. editor. Zhang, Chengyi. editor.
Preferred Shelf Number ONLINE(334080.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35898-2
Format: Electronic Resources
Availability Online Library~1

Evaluation of Novel Approaches to Software Engineering 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013, Revised Selected Papers

2024-12-25T19:07:32Z

Author Filipe, Joaquim. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335227.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-54092-9
Format: Electronic Resources
Availability Online Library~1

Theory and Practice of Computation 2nd Workshop on Computation: Theory and Practice, Manila, The Philippines, September 2012, Proceedings

2024-12-25T19:07:32Z

Author Nishizaki, Shin-ya. editor. Numao, Masayuki. editor. Caro, Jaime. editor. Suarez, Merlin Teodosia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335433.1)
Electronic Access http://dx.doi.org/10.1007/978-4-431-54436-4
Format: Electronic Resources
Availability Online Library~1

Computer Engineering and Technology 17th CCF Conference, NCCET 2013, Xining, China, July 20-22, 2013. Revised Selected Papers

2024-12-25T19:07:32Z

Author Xu, Weixia. editor. Xiao, Liquan. editor. Zhang, Chengyi. editor. Li, Jinwen. editor. Yu, Liyan. editor.
Preferred Shelf Number ONLINE(335131.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41635-4
Format: Electronic Resources
Availability Online Library~1

Evaluation of Novel Approaches to Software Engineering 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers

2024-12-25T19:07:32Z

Author Maciaszek, Leszek A. editor. Zhang, Kang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333558.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-32341-6
Format: Electronic Resources
Availability Online Library~1

Evaluation of Novel Approaches to Software Engineering 7th International Conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012, Revised Selected Papers

2024-12-25T19:07:32Z

Author Maciaszek, Leszek A. editor. Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335217.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45422-6
Format: Electronic Resources
Availability Online Library~1

Computer Applications for Software Engineering, Disaster Recovery, and Business Continuity International Conferences, ASEA and DRBC 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings

2024-12-25T19:07:32Z

Author Kim, Tai-hoon. editor. Ramos, Carlos. editor. Kim, Haeng-kon. editor. Kiumi, Akingbehin. editor. Mohammed, Sabah. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35267-6
Format: Electronic Resources
Availability Online Library~1

Theory and Practice of Computation Workshop on Computation: Theory and Practice Quezon City, Philippines, September 2011 Proceedings

2024-12-25T19:07:32Z

Author Nishizaki, Shin-ya. editor. Numao, Masayuki. editor. Caro, Jaime. editor. Suarez, Merlin Teodosia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-4-431-54106-6
Format: Electronic Resources
Availability Online Library~1

Power Electronics and Instrumentation Engineering International Conference, PEIE 2010, Kochi, Kerala, India, September 7-9, 2010. Proceedings

2024-12-25T19:07:32Z

Author Das, Vinu V. editor. Stephen, Janahanlal. editor. Thankachan, Nessy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15739-4
Format: Electronic Resources
Availability Online Library~1

Advances in Power Electronics and Instrumentation Engineering Second International Conference, PEIE 2011, Nagpur, Maharashtra, India, April 21-22, 2011. Proceedings

2024-12-25T19:07:32Z

Author Das, Vinu V. editor. Thankachan, Nessy. editor. Debnath, Narayan C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20499-9
Format: Electronic Resources
Availability Online Library~1

Evaluation of Novel Approaches to Software Engineering 5th International Conference, ENASE 2010, Athens, Greece, July 22-24, 2010, Revised Selected Papers

2024-12-25T19:07:32Z

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

High Performance Networking, Computing, Communication Systems, and Mathematical Foundations International Conferences, ICHCC 2009-ICTMF 2009, Sanya, Hainan Island, China, December 13-14, 2009. Proceedings

2024-12-25T19:07:32Z

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

Evaluation of Novel Approaches to Software Engineering 3rd and 4th International Conferences, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4-7, 2008 / Milan, Italy, May 9-10, 2009. Revised Selected Papers

2024-12-25T19:07:32Z

Author Maciaszek, Leszek A. editor. González-Pérez, César. editor. Jablonski, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14819-4
Format: Electronic Resources
Availability Online Library~1

Specification and Verification of Declarative Open Interaction Models A Logic-Based Approach

2024-12-25T19:07:32Z

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

VLSI-SoC: Opportunities and Challenges Beyond the Internet of Things 25th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2017, Abu Dhabi, United Arab Emirates, October 23–25, 2017, Revised and Extended Selected Papers

2024-12-25T19:07:32Z

Author Maniatakos, Michail. editor. (orcid)0000-0001-6899-0651 Elfadel, Ibrahim (Abe) M. editor. (orcid)0000-0003-3220-9987 Sonza Reorda, Matteo. editor. (orcid)0000-0003-2899-7669 Ugurdag, H. Fatih. editor. (orcid)0000-0002-6256-0850 Monteiro, José. editor. (orcid)0000-0003-0603-2268
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-15663-3
Format: Electronic Resources
Availability Online Library~1

VLSI-SoC: Design and Engineering of Electronics Systems Based on New Computing Paradigms 26th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2018, Verona, Italy, October 8–10, 2018, Revised and Extended Selected Papers

2024-12-25T19:07:32Z

Author Bombieri, Nicola. editor. Pravadelli, Graziano. editor. Fujita, Masahiro. editor. Austin, Todd. editor. Reis, Ricardo. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-23425-6
Format: Electronic Resources
Availability Online Library~1

VLSI-SoC: Advanced Research for Systems on Chip 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, China, October 3-5, 2011, Revised Selected Papers

2024-12-25T19:07:32Z

Author Mir, Salvador. editor. Tsui, Chi-Ying. editor. Reis, Ricardo. editor. Choy, Oliver C. S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32770-4
Format: Electronic Resources
Availability Online Library~1

Distributed, Parallel and Biologically Inspired Systems 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings

2024-12-25T19:07:32Z

Author Hinchey, Mike. editor. Kleinjohann, Bernd. editor. Kleinjohann, Lisa. editor. Lindsay, Peter A. editor. Rammig, Franz J. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15234-4
Format: Electronic Resources
Availability Online Library~1

Theoretical Computer Science 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings

2024-12-25T19:07:32Z

Author Calude, Cristian S. editor. Sassone, Vladimiro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15240-5
Format: Electronic Resources
Availability Online Library~1

Smart Blockchain First International Conference, SmartBlock 2018, Tokyo, Japan, December 10–12, 2018, Proceedings

2024-12-25T19:07:32Z

Author Qiu, Meikang. editor. (orcid)0000-0002-1004-0140 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-05764-0
Format: Electronic Resources
Availability Online Library~1

Variant Construction from Theoretical Foundation to Applications

2024-12-25T19:07:32Z

Author Zheng, Jeffrey. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-2282-2
Format: Electronic Resources
Availability Online Library~1

Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II

2024-12-25T19:07:32Z

Author Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Dongarra, Jack. editor. (orcid)0000-0003-3247-1782 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Karczewski, Konrad. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78054-2
Format: Electronic Resources
Availability Online Library~1

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIX Special Issue on Database- and Expert-Systems Applications

2024-12-25T19:07:32Z

Author Hameurlain, Abdelkader. editor. Wagner, Roland. editor. Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060 Damiani, Ernesto. editor. (orcid)0000-0002-9557-6496 Grosky, William I. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-58415-6
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-25T19:07:32Z

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

Euro-Par 2018: Parallel Processing 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings

2024-12-25T19:07:32Z

Author Aldinucci, Marco. editor. (orcid)0000-0001-8788-0829 Padovani, Luca. editor. (orcid)0000-0001-9097-1297 Torquati, Massimo. editor. (orcid)0000-0001-6323-3459 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-96983-1
Format: Electronic Resources
Availability Online Library~1

Topics in Cryptology – CT-RSA 2018 The Cryptographers' Track at the RSA Conference 2018, San Francisco, CA, USA, April 16-20, 2018, Proceedings

2024-12-25T19:07:32Z

Author Smart, Nigel P. editor. (orcid)0000-0003-3567-3304 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-76953-0
Format: Electronic Resources
Availability Online Library~1

Bidirectional Transformations International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures

2024-12-25T19:07:32Z

Author Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917 Stevens, Perdita. editor. (orcid)0000-0002-3975-7612 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-79108-1
Format: Electronic Resources
Availability Online Library~1

Implementation and Application of Automata 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 – August 2, 2018, Proceedings

2024-12-25T19:07:32Z

Author Câmpeanu, Cezar. editor. (orcid)0000-0002-9777-3012 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94812-6
Format: Electronic Resources
Availability Online Library~1

AI Approaches to the Complexity of Legal Systems AICOL International Workshops 2015-2017: AICOL-VI@JURIX 2015, AICOL-VII@EKAW 2016, AICOL-VIII@JURIX 2016, AICOL-IX@ICAIL 2017, and AICOL-X@JURIX 2017, Revised Selected Papers

2024-12-25T19:07:32Z

Author Pagallo, Ugo. editor. (orcid)0000-0001-7981-8849 Palmirani, Monica. editor. (orcid)0000-0002-8557-8084 Casanovas, Pompeu. editor. (orcid)0000-0002-0980-2371 Sartor, Giovanni. editor. (orcid)0000-0003-2210-0398 Villata, Serena. editor. (orcid)0000-0003-3495-493X
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00178-0
Format: Electronic Resources
Availability Online Library~1

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

2024-12-25T19:07:32Z

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

Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11–13, 2018, Proceedings, Part I

2024-12-25T19:07:32Z

Author Shi, Yong. editor. Fu, Haohuan. editor. Tian, Yingjie. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Lees, Michael Harold. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93698-7
Format: Electronic Resources
Availability Online Library~1

Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11–13, 2018 Proceedings, Part III

2024-12-25T19:07:32Z

Author Shi, Yong. editor. Fu, Haohuan. editor. Tian, Yingjie. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Lees, Michael Harold. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93713-7
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Science XXXIII

2024-12-25T19:07:32Z

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

Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11-13, 2018, Proceedings, Part II

2024-12-25T19:07:32Z

Author Shi, Yong. editor. Fu, Haohuan. editor. Tian, Yingjie. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Lees, Michael Harold. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93701-4
Format: Electronic Resources
Availability Online Library~1

Supercomputing Frontiers 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings

2024-12-25T19:07:32Z

Author Yokota, Rio. editor. (orcid)0000-0001-7573-7873 Wu, Weigang. editor. (orcid)0000-0002-4714-7021 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-69953-0
Format: Electronic Resources
Availability Online Library~1

Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contexts

2024-12-25T19:07:32Z

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

Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

2024-12-25T19:07:32Z

Author Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334038.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35722-0
Format: Electronic Resources
Availability Online Library~1

Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers

2024-12-25T19:07:32Z

Author Păsăreanu, Corina S. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334069.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35861-6
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

2024-12-25T19:07:32Z

Author Beckert, Bernhard. editor. Damiani, Ferruccio. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334077.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35887-6
Format: Electronic Resources
Availability Online Library~1

Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings

2024-12-25T19:07:32Z

Author Higashino, Teruo. editor. Katayama, Yoshiaki. editor. Masuzawa, Toshimitsu. editor. Potop-Butucaru, Maria. editor. Yamashita, Masafumi. editor.
Preferred Shelf Number ONLINE(332964.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03089-0
Format: Electronic Resources
Availability Online Library~1

Conceptual Modeling 32th International Conference, ER 2013, Hong-Kong, China, November 11-13, 2013. Proceedings

2024-12-25T19:07:32Z

Author Ng, Wilfred. editor. Storey, Veda C. editor. Trujillo, Juan C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335150.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41924-9
Format: Electronic Resources
Availability Online Library~1

Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

2024-12-25T19:07:32Z

Author Cortellessa, Vittorio. editor. Varró, Dániel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334354.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37057-1
Format: Electronic Resources
Availability Online Library~1

User-Level Workflow Design A Bioinformatics Perspective

2024-12-25T19:07:32Z

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

Social Semantics The Search for Meaning on the Web

2024-12-25T19:07:32Z

Author Halpin, Harry. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331289.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1885-6
Format: Electronic Resources
Availability Online Library~1

Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers

2024-12-25T19:07:32Z

Author Martí-Oliet, Narciso. editor. Palomino, Miguel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334465.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37635-1
Format: Electronic Resources
Availability Online Library~1

Theory and Practice of Model Transformations 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings

2024-12-25T19:07:32Z

Author Duddy, Keith. editor. Kappel, Gerti. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334691.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38883-5
Format: Electronic Resources
Availability Online Library~1

SDL 2013: Model-Driven Dependability Engineering 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings

2024-12-25T19:07:32Z

Author Khendek, Ferhat. editor. Toeroe, Maria. editor. Gherbi, Abdelouahed. editor. Reed, Rick. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334697.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38911-5
Format: Electronic Resources
Availability Online Library~1

Business Process Management 11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013. Proceedings

2024-12-25T19:07:32Z

Author Daniel, Florian. editor. Wang, Jianmin. editor. Weber, Barbara. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334904.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40176-3
Format: Electronic Resources
Availability Online Library~1

Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings

2024-12-25T19:07:32Z

Author Moreira, Ana. editor. Schätz, Bernhard. editor. Gray, Jeff. editor. Vallecillo, Antonio. editor. Clarke, Peter. editor.
Preferred Shelf Number ONLINE(335120.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41533-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-25T19:07:32Z

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

Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers

2024-12-25T19:07:32Z

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

Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings

2024-12-25T19:07:32Z

Author Yenigün, Hüsnü. editor. Yilmaz, Cemal. editor. Ulrich, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335141.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41707-8
Format: Electronic Resources
Availability Online Library~1

Theory of Digital Automata

2024-12-25T19:07:32Z

Author Borowik, Bohdan. author. Karpinskyy, Mykola. author. Lahno, Valery. author. Petrov, Oleksandr. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335923.1)
Electronic Access http://dx.doi.org/10.1007/978-94-007-5228-3
Format: Electronic Resources
Availability Online Library~1

Web Services and Formal Methods 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers

2024-12-25T19:07:32Z

Author Beek, Maurice H. editor. Lohmann, Niels. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334562.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38230-7
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings

2024-12-25T19:07:32Z

Author Chan, T-H. Hubert. editor. Lau, Lap Chi. editor. Trevisan, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334564.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38236-9
Format: Electronic Resources
Availability Online Library~1

Modelling Foundations and Applications 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings

2024-12-25T19:07:32Z

Author Gorp, Pieter. editor. Ritter, Tom. editor. Rose, Louis M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334711.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39013-5
Format: Electronic Resources
Availability Online Library~1

Software Architecture 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings

2024-12-25T19:07:32Z

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

Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings

2024-12-25T19:07:32Z

Author Järvisalo, Matti. editor. Van Gelder, Allen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334724.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39071-5
Format: Electronic Resources
Availability Online Library~1

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings

2024-12-25T19:07:32Z

Author Gaag, Linda C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334728.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39091-3
Format: Electronic Resources
Availability Online Library~1

Theory, Practice, and Applications of Rules on the Web 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings

2024-12-25T19:07:32Z

Author Morgenstern, Leora. editor. Stefaneas, Petros. editor. Lévy, François. editor. Wyner, Adam. editor. Paschke, Adrian. editor.
Preferred Shelf Number ONLINE(334822.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39617-5
Format: Electronic Resources
Availability Online Library~1

Web Reasoning and Rule Systems 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings

2024-12-25T19:07:32Z

Author Faber, Wolfgang. editor. Lembo, Domenico. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334832.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39666-3
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-25T19:07:32Z

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

Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings

2024-12-25T19:07:32Z

Author Gorbenko, Anatoliy. editor. Romanovsky, Alexander. editor. Kharchenko, Vyacheslav. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335024.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40894-6
Format: Electronic Resources
Availability Online Library~1

Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings

2024-12-25T19:07:32Z

Author Grossi, Davide. editor. Roy, Olivier. editor. Huang, Huaxin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335032.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40948-6
Format: Electronic Resources
Availability Online Library~1

Logikkalküle in der Informatik Wie wird Logik vom Rechner genutzt?

2024-12-25T19:07:32Z

Author Schenke, Michael. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(338349.1)
Electronic Access http://dx.doi.org/10.1007/978-3-8348-2295-6
Format: Electronic Resources
Availability Online Library~1

Computation, Physics and Beyond International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012, Revised Selected and Invited Papers

2024-12-25T19:07:32Z

Author Dinneen, Michael J. editor. Khoussainov, Bakhadyr. editor. Nies, André. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27654-5
Format: Electronic Resources
Availability Online Library~1

Fundamental Approaches to Software Engineering 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings

2024-12-25T19:07:32Z

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

Models in Software Engineering Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers

2024-12-25T19:07:32Z

Author Kienzle, Jörg. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29645-1
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Models of Computation 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings

2024-12-25T19:07:32Z

Author Agrawal, Manindra. editor. Cooper, S. Barry. editor. Li, Angsheng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29952-0
Format: Electronic Resources
Availability Online Library~1

Intelligent Computer Mathematics 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings

2024-12-25T19:07:32Z

Author Jeuring, Johan. editor. Campbell, John A. editor. Carette, Jacques. editor. Reis, Gabriel. editor. Sojka, Petr. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31374-5
Format: Electronic Resources
Availability Online Library~1

Modelling Foundations and Applications 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings

2024-12-25T19:07:32Z

Author Vallecillo, Antonio. editor. Tolvanen, Juha-Pekka. editor. Kindler, Ekkart. editor. Störrle, Harald. editor. Kolovos, Dimitris. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31491-9
Format: Electronic Resources
Availability Online Library~1

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

2024-12-25T19:07:32Z

Author Ågotnes, Thomas. editor. Broersen, Jan. editor. Elgesem, Dag. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31570-1
Format: Electronic Resources
Availability Online Library~1

Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers

2024-12-25T19:07:32Z

Author Beckert, Bernhard. editor. Damiani, Ferruccio. editor. Gurov, Dilian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31762-0
Format: Electronic Resources
Availability Online Library~1

Formal Methods: Foundations and Applications 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings

2024-12-25T19:07:32Z

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

Logics in Artificial Intelligence 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings

2024-12-25T19:07:32Z

Author Cerro, Luis Fariñas. editor. Herzig, Andreas. editor. Mengin, Jérôme. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33353-8
Format: Electronic Resources
Availability Online Library~1

Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30–October 5, 2012. Proceedings

2024-12-25T19:07:32Z

Author France, Robert B. editor. Kazmeier, Jürgen. editor. Breu, Ruth. editor. Atkinson, Colin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33666-9
Format: Electronic Resources
Availability Online Library~1

Transactions on Aspect-Oriented Software Development IX

2024-12-25T19:07:32Z

Author Leavens, Gary T. editor. Chiba, Shigeru. editor. Haupt, Michael. editor. Ostermann, Klaus. editor. Wohlstadter, Eric. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35551-6
Format: Electronic Resources
Availability Online Library~1

Business Process Management 10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 2012. Proceedings

2024-12-25T19:07:32Z

Author Barros, Alistair. editor. Gal, Avigdor. editor. Kindler, Ekkart. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32885-5
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Industrial Critical Systems 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings

2024-12-25T19:07:32Z

Author Stoelinga, Mariëlle. editor. Pinger, Ralf. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32469-7
Format: Electronic Resources
Availability Online Library~1

Theoretical Aspects of Computing – ICTAC 2012 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings

2024-12-25T19:07:32Z

Author Roychoudhury, Abhik. editor. D’Souza, Meenakshi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32943-2
Format: Electronic Resources
Availability Online Library~1

Conceptual Modeling 31st International Conference ER 2012, Florence, Italy, October 15-18, 2012. Proceedings

2024-12-25T19:07:32Z

Author Atzeni, Paolo. editor. Cheung, David. editor. Ram, Sudha. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34002-4
Format: Electronic Resources
Availability Online Library~1

Empirical Software Engineering and Verification International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures

2024-12-25T19:07:32Z

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

SDL 2011: Integrating System and Software Modeling 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers

2024-12-25T19:07:32Z

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

Mathematical and Engineering Methods in Computer Science 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers

2024-12-25T19:07:32Z

Author Kotásek, Zdeněk. editor. Bouda, Jan. editor. Černá, Ivana. editor. Sekanina, Lukáš. editor. Vojnar, Tomáš. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25929-6
Format: Electronic Resources
Availability Online Library~1

Foundations and Practice of Security 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers

2024-12-25T19:07:32Z

Author Garcia-Alfaro, Joaquin. editor. Lafourcade, Pascal. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27901-0
Format: Electronic Resources
Availability Online Library~1

Distributed Computing and Internet Technology 8th International Conference, ICDCIT 2012, Bhubaneswar, India, February 2-4, 2012. Proceedings

2024-12-25T19:07:32Z

Author Ramanujam, R. editor. Ramaswamy, Srini. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28073-3
Format: Electronic Resources
Availability Online Library~1

Recent Trends in Algebraic Development Techniques 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

2024-12-25T19:07:32Z

Author Mossakowski, Till. editor. Kreowski, Hans-Jörg. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28412-0
Format: Electronic Resources
Availability Online Library~1

FM 2012: Formal Methods 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings

2024-12-25T19:07:32Z

Author Giannakopoulou, Dimitra. editor. Méry, Dominique. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32759-9
Format: Electronic Resources
Availability Online Library~1

Testing Software and Systems 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings

2024-12-25T19:07:32Z

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

Formal Aspects of Component Software 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers

2024-12-25T19:07:32Z

Author Arbab, Farhad. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35743-5
Format: Electronic Resources
Availability Online Library~1

Tools for Practical Software Verification LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures

2024-12-25T19:07:32Z

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

Recht ex machina Formalisierung des Rechts im Internet der Dienste

2024-12-25T19:07:32Z

Author Raabe, Oliver. author. Wacker, Richard. author. Oberle, Daniel. author. Baumann, Christian. author. Funk, Christian. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17671-5
Format: Electronic Resources
Availability Online Library~1

Distributed Computing and Internet Technology 7th International Conference, ICDCIT 2011, Bhubaneshwar, India, February 9-12, 2011. Proceedings

2024-12-25T19:07:32Z

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

Process Mining Discovery, Conformance and Enhancement of Business Processes

2024-12-25T19:07:32Z

Author van der Aalst, Wil M. P. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19345-3
Format: Electronic Resources
Availability Online Library~1

Rainbow of Computer Science Dedicated to Hermann Maurer on the Occasion of His 70th Birthday

2024-12-25T19:07:32Z

Author Calude, Cristian S. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19391-0
Format: Electronic Resources
Availability Online Library~1

Models in Software Engineering Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers

2024-12-25T19:07:32Z

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

FM 2011: Formal Methods 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings

2024-12-25T19:07:32Z

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

Modelling Foundations and Applications 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings

2024-12-25T19:07:32Z

Author France, Robert B. editor. Kuester, Jochen M. editor. Bordbar, Behzad. editor. Paige, Richard F. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21470-7
Format: Electronic Resources
Availability Online Library~1

System Analysis and Modeling: About Models 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers

2024-12-25T19:07:32Z

Author Kraemer, Frank Alexander. editor. Herrmann, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21652-7
Format: Electronic Resources
Availability Online Library~1

ECOOP 2011 – Object-Oriented Programming 25th European Conference, Lancaster, Uk, July 25-29, 2011 Proceedings

2024-12-25T19:07:32Z

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

Languages, Methodologies, and Development Tools for Multi-Agent Systems Third International Workshop, LADS 2010, Lyon, France, August 30 – September 1, 2010, Revised Selected Papers

2024-12-25T19:07:32Z

Author Dastani, Mehdi. editor. Fallah Seghrouchni, Amal. editor. Hübner, Jomi. editor. Leite, João. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22723-3
Format: Electronic Resources
Availability Online Library~1

Software Architecture 5th European Conference, ECSA 2011, Essen, Germany, September 13-16, 2011. Proceedings

2024-12-25T19:07:32Z

Author Crnkovic, Ivica. editor. Gruhn, Volker. editor. Book, Matthias. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23798-0
Format: Electronic Resources
Availability Online Library~1

Formal Methods, Foundations and Applications 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers

2024-12-25T19:07:32Z

Author Simao, Adenilso. editor. Morgan, Carroll. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25032-3
Format: Electronic Resources
Availability Online Library~1

Fundamental Approaches to Software Engineering 14th International Conference, FASE 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-25T19:07:32Z

Author Giannakopoulou, Dimitra. editor. Orejas, Fernando. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19811-3
Format: Electronic Resources
Availability Online Library~1

Formal Methods: Foundations and Applications 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

2024-12-25T19:07:32Z

Author Davies, Jim. editor. Silva, Leila. editor. Simao, Adenilso. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19829-8
Format: Electronic Resources
Availability Online Library~1

Business Process Management 9th International Conference, BPM 2011, Clermont-Ferrand, France, August 30 - September 2, 2011. Proceedings

2024-12-25T19:07:32Z

Author Rinderle-Ma, Stefanie. editor. Toumani, Farouk. editor. Wolf, Karsten. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23059-2
Format: Electronic Resources
Availability Online Library~1

Foundations of Security Analysis and Design VI FOSAD Tutorial Lectures

2024-12-25T19:07:32Z

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

Logic, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings

2024-12-25T19:07:32Z

Author Ditmarsch, Hans. editor. Lang, Jérôme. editor. Ju, Shier. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24130-7
Format: Electronic Resources
Availability Online Library~1

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

2024-12-25T19:07:32Z

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

Transactions on Aspect-Oriented Software Development VIII

2024-12-25T19:07:32Z

Author Katz, Shmuel. editor. Mezini, Mira. editor. Schwanninger, Christine. editor. Joosen, Wouter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22031-9
Format: Electronic Resources
Availability Online Library~1

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 11th European Conference, ECSQARU 2011, Belfast, UK, June 29–July 1, 2011. Proceedings

2024-12-25T19:07:32Z

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

Software Engineering Techniques Third IFIP TC 2 Central and East European Conference, CEE-SET 2008, Brno, Czech Republic, October 13-15, 2008, Revised Selected Papers

2024-12-25T19:07:32Z

Author Huzar, Zbigniew. editor. Koci, Radek. editor. Meyer, Bertrand. editor. Walter, Bartosz. editor. Zendulka, Jaroslav. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22386-0
Format: Electronic Resources
Availability Online Library~1

The Mathematics of Language 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings

2024-12-25T19:07:32Z

Author Kanazawa, Makoto. editor. Kornai, András. editor. Kracht, Marcus. editor. Seki, Hiroyuki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23211-4
Format: Electronic Resources
Availability Online Library~1

CONCUR 2011 – Concurrency Theory 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings

2024-12-25T19:07:32Z

Author Katoen, Joost-Pieter. editor. König, Barbara. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23217-6
Format: Electronic Resources
Availability Online Library~1

Introduction to the Theory of Programming Languages

2024-12-25T19:07:32Z

Author Dowek, Gilles. author. Lévy, Jean-Jacques. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-076-2
Format: Electronic Resources
Availability Online Library~1

Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

2024-12-25T19:07:32Z

Author Beckert, Bernhard. editor. Marché, Claude. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-18070-5
Format: Electronic Resources
Availability Online Library~1

Distributed Computing and Internet Technology 6th International Conference, ICDCIT 2010, Bhubaneswar, India, February 15-17, 2010. Proceedings

2024-12-25T19:07:32Z

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

Advanced Lectures on Software Engineering LASER Summer School 2007/2008

2024-12-25T19:07:32Z

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

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

2024-12-25T19:07:32Z

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

Modelling Foundations and Applications 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010. Proceedings

2024-12-25T19:07:32Z

Author Kühne, Thomas. editor. Selic, Bran. editor. Gervais, Marie-Pierre. editor. Terrier, François. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13595-8
Format: Electronic Resources
Availability Online Library~1

Logic, Language and Meaning 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers

2024-12-25T19:07:32Z

Author Aloni, Maria. editor. Bastiaanse, Harald. editor. Jager, Tikitu. editor. Schulz, Katrin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14287-1
Format: Electronic Resources
Availability Online Library~1

Database and XML Technologies 7th International XML Database Symposium, XSym 2010, Singapore, September 17, 2010. Proceedings

2024-12-25T19:07:32Z

Author Lee, Mong Li. editor. Yu, Jeffrey Xu. editor. Bellahsène, Zohra. editor. Unland, Rainer. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15684-7
Format: Electronic Resources
Availability Online Library~1

Service Research Challenges and Solutions for the Future Internet S-Cube – Towards Engineering, Managing and Adapting Service-Based Systems

2024-12-25T19:07:32Z

Author Papazoglou, Mike P. editor. Pohl, Klaus. editor. Parkin, Michael. editor. Metzger, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17599-2
Format: Electronic Resources
Availability Online Library~1

Task Models and Diagrams for User Interface Design 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers

2024-12-25T19:07:32Z

Author England, David. editor. Palanque, Philippe. editor. Vanderdonckt, Jean. editor. Wild, Peter J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11797-8
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-25T19:07:32Z

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

Fundamental Approaches to Software Engineering 13th International Conference, FASE 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-25T19:07:32Z

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

Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance 15th International GI/ITG Conference, MMB&DFT 2010, Essen, Germany, March 15-17, 2010. Proceedings

2024-12-25T19:07:32Z

Author Müller-Clostermann, Bruno. editor. Echtle, Klaus. editor. Rathgeb, Erwin P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12104-3
Format: Electronic Resources
Availability Online Library~1

Software Language Engineering Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers

2024-12-25T19:07:32Z

Author Brand, Mark. editor. Gašević, Dragan. editor. Gray, Jeff. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12107-4
Format: Electronic Resources
Availability Online Library~1

Models in Software Engineering Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers

2024-12-25T19:07:32Z

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

Research into Practice – Reality and Gaps 6th International Conference on the Quality of Software Architectures, QoSA 2010, Prague, Czech Republic, June 23 - 25, 2010. Proceedings

2024-12-25T19:07:32Z

Author Heineman, George T. editor. Kofron, Jan. editor. Plasil, Frantisek. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13821-8
Format: Electronic Resources
Availability Online Library~1

Inductive Logic Programming 19th International Conference, ILP 2009, Leuven, Belgium, July 02-04, 2009. Revised Papers

2024-12-25T19:07:32Z

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

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

2024-12-25T19:07:32Z

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

Finite-State Methods and Natural Language Processing 8th International Workshop, FSMNLP 2009, Pretoria, South Africa, July 21-24, 2009, Revised Selected Papers

2024-12-25T19:07:32Z

Author Yli-Jyrä, Anssi. editor. Kornai, András. editor. Sakarovitch, Jacques. editor. Watson, Bruce. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14684-8
Format: Electronic Resources
Availability Online Library~1

Software Architecture 4th European Conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010. Proceedings

2024-12-25T19:07:32Z

Author Babar, Muhammad Ali. editor. Gorton, Ian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15114-9
Format: Electronic Resources
Availability Online Library~1

Computer Performance Engineering 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings

2024-12-25T19:07:32Z

Author Aldini, Alessandro. editor. Bernardo, Marco. editor. Bononi, Luciano. editor. Cortellessa, Vittorio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15784-4
Format: Electronic Resources
Availability Online Library~1

Logics in Artificial Intelligence 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings

2024-12-25T19:07:32Z

Author Janhunen, Tomi. editor. Niemelä, Ilkka. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15675-5
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-25T19:07:32Z

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

The Mathematics of Language 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers

2024-12-25T19:07:32Z

Author Ebert, Christian. editor. Jäger, Gerhard. editor. Michaelis, Jens. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14322-9
Format: Electronic Resources
Availability Online Library~1

Testing Techniques in Software Engineering Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures

2024-12-25T19:07:32Z

Author Borba, Paulo. editor. Cavalcanti, Ana. editor. Sampaio, Augusto. editor. Woodcook, Jim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14335-9
Format: Electronic Resources
Availability Online Library~1

Logic and the Foundations of Game and Decision Theory – LOFT 8 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers

2024-12-25T19:07:32Z

Author Bonanno, Giacomo. editor. Löwe, Benedikt. editor. Hoek, Wiebe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15164-4
Format: Electronic Resources
Availability Online Library~1

CONCUR 2010 - Concurrency Theory 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings

2024-12-25T19:07:32Z

Author Gastin, Paul. editor. Laroussinie, François. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15375-4
Format: Electronic Resources
Availability Online Library~1

Transactions on Aspect-Oriented Software Development VII A Common Case Study for Aspect-Oriented Modeling

2024-12-25T19:07:32Z

Author Katz, Shmuel. editor. Mezini, Mira. editor. Kienzle, Jörg. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16086-8
Format: Electronic Resources
Availability Online Library~1

Multiagent System Technologies 8th German Conference, MATES 2010, Leipzig, Germany, September 27-29, 2010. Proceedings

2024-12-25T19:07:32Z

Author Dix, Jürgen. editor. Witteveen, Cees. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16178-0
Format: Electronic Resources
Availability Online Library~1

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I

2024-12-25T19:07:32Z

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

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

2024-12-25T19:07:32Z

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

Verification, Induction, Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthday

2024-12-25T19:07:32Z

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

Computational Logic in Multi-Agent Systems 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers

2024-12-25T19:07:32Z

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

Compiler Construction 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

2024-12-25T19:07:32Z

Author Moor, Oege. editor. Schwartzbach, Michael I. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00722-4
Format: Electronic Resources
Availability Online Library~1

Language and Automata Theory and Applications Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings

2024-12-25T19:07:32Z

Author Dediu, Adrian Horia. editor. Ionescu, Armand Mihai. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00982-2
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Models of Computation 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings

2024-12-25T19:07:32Z

Author Chen, Jianer. editor. Cooper, S. Barry. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02017-9
Format: Electronic Resources
Availability Online Library~1

ECOOP 2009 – Object-Oriented Programming 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings

2024-12-25T19:07:32Z

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

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings

2024-12-25T19:07:32Z

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

Foundations of Security Analysis and Design V FOSAD 2007/2008/2009 Tutorial Lectures

2024-12-25T19:07:32Z

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

SDL 2009: Design for Motes and Mobiles 14th International SDL Forum Bochum, Germany, September 22-24, 2009 Proceedings

2024-12-25T19:07:32Z

Author Reed, Rick. editor. Bilgic, Attila. editor. Gotzhein, Reinhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04554-7
Format: Electronic Resources
Availability Online Library~1

Logic, Rationality, and Interaction Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings

2024-12-25T19:07:32Z

Author He, Xiangdong. editor. Horty, John. editor. Pacuit, Eric. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04893-7
Format: Electronic Resources
Availability Online Library~1

Rule Interchange and Applications International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings

2024-12-25T19:07:32Z

Author Governatori, Guido. editor. Hall, John. editor. Paschke, Adrian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04985-9
Format: Electronic Resources
Availability Online Library~1

FM 2009: Formal Methods Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings

2024-12-25T19:07:32Z

Author Cavalcanti, Ana. editor. Dams, Dennis R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-05089-3
Format: Electronic Resources
Availability Online Library~1

Parameterized and Exact Computation 4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009, Revised Selected Papers

2024-12-25T19:07:32Z

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

Formal Methods: Foundations and Applications 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

2024-12-25T19:07:32Z

Author Oliveira, Marcel Vinícius Medeiros. editor. Woodcock, Jim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10452-7
Format: Electronic Resources
Availability Online Library~1

Computable Models

2024-12-25T19:07:32Z

Author Turner, Raymond. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84882-052-4
Format: Electronic Resources
Availability Online Library~1

Semantic Techniques for the Web The REWERSE Perspective

2024-12-25T19:07:32Z

Author Bry, François. editor. Małuszyński, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04581-3
Format: Electronic Resources
Availability Online Library~1

Formal Modeling and Analysis of Timed Systems 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings

2024-12-25T19:07:32Z

Author Ouaknine, Joël. editor. Vaandrager, Frits W. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04368-0
Format: Electronic Resources
Availability Online Library~1

Reachability Problems 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings

2024-12-25T19:07:32Z

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

Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

2024-12-25T19:07:32Z

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

Foundations of Software Science and Computational Structures 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

2024-12-25T19:07:32Z

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

Web Services and Formal Methods 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers

2024-12-25T19:07:32Z

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

Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

2024-12-25T19:07:32Z

Author Grumberg, Orna. editor. Kaminski, Michael. editor. Katz, Shmuel. editor. Wintner, Shuly. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01748-3
Format: Electronic Resources
Availability Online Library~1

Applications and Theory of Petri Nets 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings

2024-12-25T19:07:32Z

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

Model Driven Architecture - Foundations and Applications 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings

2024-12-25T19:07:32Z

Author Paige, Richard F. editor. Hartman, Alan. editor. Rensink, Arend. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02674-4
Format: Electronic Resources
Availability Online Library~1

Computational Logic in Multi-Agent Systems 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers

2024-12-25T19:07:32Z

Author Fisher, Michael. editor. Sadri, Fariba. editor. Thielscher, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02734-5
Format: Electronic Resources
Availability Online Library~1

Domain-Specific Languages IFIP TC 2 Working Conference, DSL 2009 Oxford, UK, July 15-17, 2009 Proceedings

2024-12-25T19:07:32Z

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

Computer Science - Theory and Applications Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings

2024-12-25T19:07:32Z

Author Frid, Anna. editor. Morozov, Andrey. editor. Rybalchenko, Andrey. editor. Wagner, Klaus W. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03351-3
Format: Electronic Resources
Availability Online Library~1

Recent Trends in Algebraic Development Techniques 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers

2024-12-25T19:07:32Z

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

CONCUR 2009 - Concurrency Theory 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings

2024-12-25T19:07:32Z

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

Testing of Software and Communicating Systems 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings

2024-12-25T19:07:32Z

Author Suzuki, Kenji. editor. Higashino, Teruo. editor. Ulrich, Andreas. editor. Hasegawa, Toru. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68524-1
Format: Electronic Resources
Availability Online Library~1

Model Driven Architecture – Foundations and Applications 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings

2024-12-25T19:07:32Z

Author Schieferdecker, Ina. editor. Hartman, Alan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69100-6
Format: Electronic Resources
Availability Online Library~1

Unfoldings A Partial-Order Approach to Model Checking

2024-12-25T19:07:32Z

Author Esparza, Javier. author. Heljanko, Keijo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77426-6
Format: Electronic Resources
Availability Online Library~1

Object-Oriented Technology. ECOOP 2007 Workshop Reader ECOOP 2007 Workshops, Berlin, Germany, July 30-31, 2007, Final Reports

2024-12-25T19:07:32Z

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

Web Services and Formal Methods 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings

2024-12-25T19:07:32Z

Author Dumas, Marlon. editor. Heckel, Reiko. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-79230-7
Format: Electronic Resources
Availability Online Library~1

CONCUR 2008 - Concurrency Theory 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings

2024-12-25T19:07:32Z

Author Breugel, Franck. editor. Chechik, Marsha. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85361-9
Format: Electronic Resources
Availability Online Library~1

Reasoning Web 4th International Summer School 2008, Venice, Italy, September 7-11, 2008, Tutorial Lectures

2024-12-25T19:07:32Z

Author Baroglio, Cristina. editor. Bonatti, Piero A. editor. Małuszyński, Jan. editor. Marchiori, Massimo. editor. Polleres, Axel. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85658-0
Format: Electronic Resources
Availability Online Library~1

Formal Modeling and Analysis of Timed Systems 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings

2024-12-25T19:07:32Z

Author Cassez, Franck. editor. Jard, Claude. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85778-5
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-25T19:07:32Z

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

The Semantic Web - ISWC 2008 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008. Proceedings

2024-12-25T19:07:32Z

Author Sheth, Amit. editor. Staab, Steffen. editor. Dean, Mike. editor. Paolucci, Massimo. editor. Maynard, Diana. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-88564-1
Format: Electronic Resources
Availability Online Library~1

The Semantic Web 3rd Asian Semantic Web Conference, ASWC 2008, Bangkok, Thailand, December 8-11, 2008. Proceedings.

2024-12-25T19:07:32Z

Author Domingue, John. editor. Anutariya, Chutiporn. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-89704-0
Format: Electronic Resources
Availability Online Library~1

Requirements Engineering: Foundation for Software Quality 14th International Working Conference, REFSQ 2008 Montpellier, France, June 16-17, 2008 Proceedings

2024-12-25T19:07:32Z

Author Paech, Barbara. editor. Rolland, Colette. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69062-7
Format: Electronic Resources
Availability Online Library~1

Interactive Systems. Design, Specification, and Verification 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers

2024-12-25T19:07:32Z

Author Graham, T. C. Nicholas. editor. Palanque, Philippe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70569-7
Format: Electronic Resources
Availability Online Library~1

Formal Methods and Testing An Outcome of the FORTEST Network, Revised Selected Papers

2024-12-25T19:07:32Z

Author Hierons, Robert M. editor. Bowen, Jonathan P. editor. Harman, Mark. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78917-8
Format: Electronic Resources
Availability Online Library~1

Computer Safety, Reliability, and Security 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings

2024-12-25T19:07:32Z

Author Harrison, Michael D. editor. Sujan, Mark-Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-87698-4
Format: Electronic Resources
Availability Online Library~1

Language and Automata Theory and Applications Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers

2024-12-25T19:07:32Z

Author Martín-Vide, Carlos. editor. Otto, Friedrich. editor. Fernau, Henning. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-88282-4
Format: Electronic Resources
Availability Online Library~1

Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings

2024-12-25T19:07:32Z

Author Cha, Sungdeok (Steve). editor. Choi, Jin-Young. editor. Kim, Moonzoo. editor. Lee, Insup. editor. Viswanathan, Mahesh. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-88387-6
Format: Electronic Resources
Availability Online Library~1

Rule Representation, Interchange and Reasoning on the Web International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings

2024-12-25T19:07:32Z

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-540-88808-6
Format: Electronic Resources
Availability Online Library~1

Principles of the Spin Model Checker

2024-12-25T19:07:32Z

Author Ben-Ari, Mordechai. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-770-1
Format: Electronic Resources
Availability Online Library~1

FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings

2024-12-25T19:07:32Z

Author Cuellar, Jorge. editor. Maibaum, Tom. editor. Sere, Kaisa. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68237-0
Format: Electronic Resources
Availability Online Library~1

ECOOP 2008 – Object-Oriented Programming 22nd European Conference Paphos, Cyprus, July 7-11, 2008 Proceedings

2024-12-25T19:07:32Z

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

Decision Procedures An Algorithmic Point of View

2024-12-25T19:07:32Z

Author Kroening, Daniel. author. Strichman, Ofer. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74105-3
Format: Electronic Resources
Availability Online Library~1

Logics of Specification Languages

2024-12-25T19:07:32Z

Author Bjørner, Dines. editor. Henson, Martin C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74107-7
Format: Electronic Resources
Availability Online Library~1

Object-Oriented Technology. ECOOP 2006 Workshop Reader ECOOP 2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports

2024-12-25T19:07:32Z

Author Südholt, Mario. editor. Consel, Charles. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71774-4
Format: Electronic Resources
Availability Online Library~1

Web Reasoning and Rule Systems First International Conference, RR 2007, Innsbruck , Austria, June 7-8, 2007. Proceedings

2024-12-25T19:07:32Z

Author Marchiori, Massimo. editor. Pan, Jeff Z. editor. Marie, Christian de Sainte. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72982-2
Format: Electronic Resources
Availability Online Library~1

Requirements Engineering: Foundation for Software Quality 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007. Proceedings

2024-12-25T19:07:32Z

Author Sawyer, Pete. editor. Paech, Barbara. editor. Heymans, Patrick. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73031-6
Format: Electronic Resources
Availability Online Library~1

Testing of Software and Communicating Systems 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedings

2024-12-25T19:07:32Z

Author Petrenko, Alexandre. editor. Veanes, Margus. editor. Tretmans, Jan. editor. Grieskamp, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73066-8
Format: Electronic Resources
Availability Online Library~1

Agile Processes in Software Engineering and Extreme Programming 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007. Proceedings

2024-12-25T19:07:32Z

Author Concas, Giulio. editor. Damiani, Ernesto. editor. Scotto, Marco. editor. Succi, Giancarlo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73101-6
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction. Interaction Design and Usability 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I

2024-12-25T19:07:32Z

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

Human-Computer Interaction. Interaction Platforms and Techniques 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II

2024-12-25T19:07:32Z

Author Jacko, Julie A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73107-8
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part III

2024-12-25T19:07:32Z

Author Jacko, Julie A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73110-8
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction. HCI Applications and Services 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IV

2024-12-25T19:07:32Z

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

Universal Acess in Human Computer Interaction. Coping with Diversity 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I

2024-12-25T19:07:32Z

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

Universal Access in Human-Computer Interaction. Ambient Interaction 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part II

2024-12-25T19:07:32Z

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

Universal Access in Human-Computer Interaction. Applications and Services 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part III

2024-12-25T19:07:32Z

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

ECOOP 2007 – Object-Oriented Programming 21st European Conference, Berlin, Germany, July 30 - August 3, 2007. Proceedings

2024-12-25T19:07:32Z

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

Reasoning Web Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, Tutorial Lectures

2024-12-25T19:07:32Z

Author Antoniou, Grigoris. editor. Aßmann, Uwe. editor. Baroglio, Cristina. editor. Decker, Stefan. editor. Henze, Nicola. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74615-7
Format: Electronic Resources
Availability Online Library~1

Cryptographic Hardware and Embedded Systems - CHES 2007 9th International Workshop, Vienna, Austria, September 10-13, 2007. Proceedings

2024-12-25T19:07:32Z

Author Paillier, Pascal. editor. Verbauwhede, Ingrid. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74735-2
Format: Electronic Resources
Availability Online Library~1

Foundations of Security Analysis and Design IV FOSAD 2006/2007 Tutorial Lectures

2024-12-25T19:07:32Z

Author Aldini, Alessandro. editor. Gorrieri, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74810-6
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-25T19:07:32Z

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

SDL 2007: Design for Dependable Systems 13th International SDL Forum Paris, France, September 18-21, 2007 Proceedings

2024-12-25T19:07:32Z

Author Gaudin, Emmanuel. editor. Najm, Elie. editor. Reed, Rick. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74984-4
Format: Electronic Resources
Availability Online Library~1

Computer Safety, Reliability, and Security 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007. Proceedings

2024-12-25T19:07:32Z

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

Advances in Rule Interchange and Applications International Symposium, RuleML 2007, Orlando, Florida, October 25-26, 2007. Proceedings

2024-12-25T19:07:32Z

Author Paschke, Adrian. editor. Biletskiy, Yevgen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75975-1
Format: Electronic Resources
Availability Online Library~1

The Semantic Web 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC 2007, Busan, Korea, November 11-15, 2007. Proceedings

2024-12-25T19:07:32Z

Author Aberer, Karl. editor. Choi, Key-Sun. editor. Noy, Natasha. editor. Allemang, Dean. editor. Lee, Kyung-Il. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76298-0
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science – ASIAN 2007. Computer and Network Security 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007. Proceedings

2024-12-25T19:07:32Z

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

Runtime Verification 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers

2024-12-25T19:07:32Z

Author Sokolsky, Oleg. editor. Taşıran, Serdar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77395-5
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers

2024-12-25T19:07:32Z

Author Okada, Mitsu. editor. Satoh, Ichiro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77505-8
Format: Electronic Resources
Availability Online Library~1

Interactive Systems. Design, Specification, and Verification 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers

2024-12-25T19:07:32Z

Author Doherty, Gavin. editor. Blandford, Ann. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69554-7
Format: Electronic Resources
Availability Online Library~1

Principles of modern digital design

2024-12-25T19:07:32Z

Author Lala, Parag K., 1948-
Preferred Shelf Number ONLINE
Electronic Access Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=315213 John Wiley http://dx.doi.org/10.1002/0470125217 MyiLibrary, Table of contents http://www.myilibrary.com?id=100216&ref=toc Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0741/2006032483-b.html
Format: Electronic Resources
Availability Online Library~1

Grid Computing Experiment Management, Tool Integration, and Scientific Workflows

2024-12-25T19:07:32Z

Author Prodan, Radu. author. Fahringer, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69262-1
Format: Electronic Resources
Availability Online Library~1

Rapid Integration of Software Engineering Techniques Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers

2024-12-25T19:07:32Z

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

Model Driven Architecture- Foundations and Applications Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proccedings

2024-12-25T19:07:32Z

Author Akehurst, David H. editor. Vogel, Régis. editor. Paige, Richard F. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72901-3
Format: Electronic Resources
Availability Online Library~1

Modelling Distributed Systems

2024-12-25T19:07:32Z

Author Fokkink, Wan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73938-8
Format: Electronic Resources
Availability Online Library~1

The Calculus of Computation Decision Procedures with Applications to Verification

2024-12-25T19:07:32Z

Author Bradley, Aaron R. author. Manna, Zohar. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74113-8
Format: Electronic Resources
Availability Online Library~1

Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings

2024-12-25T19:07:32Z

Author Namjoshi, Kedar S. editor. Yoneda, Tomohiro. editor. Higashino, Teruo. editor. Okamura, Yoshio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75596-8
Format: Electronic Resources
Availability Online Library~1

Extreme Programming and Agile Processes in Software Engineering 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006. Proceedings

2024-12-25T19:07:32Z

Author Abrahamsson, Pekka. editor. Marchesi, Michele. editor. Succi, Giancarlo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11774129
Format: Electronic Resources
Availability Online Library~1

Formal Approaches to Software Testing 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers

2024-12-25T19:07:32Z

Author Grieskamp, Wolfgang. editor. Weise, Carsten. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11759744
Format: Electronic Resources
Availability Online Library~1

FM 2006: Formal Methods 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings

2024-12-25T19:07:32Z

Author Misra, Jayadev. editor. Nipkow, Tobias. editor. Sekerinski, Emil. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11813040
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-25T19:07:32Z

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

Automated Technology for Verification and Analysis 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings

2024-12-25T19:07:32Z

Author Graf, Susanne. editor. Zhang, Wenhui. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11901914
Format: Electronic Resources
Availability Online Library~1

System Analysis and Modeling: Language Profiles 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers

2024-12-25T19:07:32Z

Author Gotzhein, Reinhard. editor. Reed, Rick. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11951148
Format: Electronic Resources
Availability Online Library~1

Interactive Systems. Design, Specification, and Verification 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers

2024-12-25T19:07:32Z

Author Gilroy, Stephen W. editor. Harrison, Michael D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11752707
Format: Electronic Resources
Availability Online Library~1

Algebra, Meaning, and Computation Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday

2024-12-25T19:07:32Z

Author Futatsugi, Kokichi. editor. Jouannaud, Jean-Pierre. editor. Meseguer, José. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11780274
Format: Electronic Resources
Availability Online Library~1

Fundamentals of Algebraic Graph Transformation

2024-12-25T19:07:32Z

Author Ehrig, Hartmut. author. Ehrig, Karsten. author. Prange, Ulrike. author. Taentzer, Gabriele. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-31188-2
Format: Electronic Resources
Availability Online Library~1

Rapid Integration of Software Engineering Techniques Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers

2024-12-25T19:07:32Z

Author Guelfi, Nicolas. editor. Savidis, Anthony. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11751113
Format: Electronic Resources
Availability Online Library~1

ECOOP 2006 – Object-Oriented Programming 20th European Conference, Nantes, France, July 3-7, 2006. Proceedings

2024-12-25T19:07:32Z

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

Model Driven Architecture – Foundations and Applications Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006. Proceedings

2024-12-25T19:07:32Z

Author Rensink, Arend. editor. Warmer, Jos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11787044
Format: Electronic Resources
Availability Online Library~1

Computer Safety, Reliability, and Security 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006. Proceedings

2024-12-25T19:07:32Z

Author Górski, Janusz. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11875567
Format: Electronic Resources
Availability Online Library~1

Formal Approaches to Software Testing and Runtime Verification First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

2024-12-25T19:07:32Z

Author Havelund, Klaus. editor. Núñez, Manuel. editor. Roşu, Grigore. editor. Wolff, Burkhart. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11940197
Format: Electronic Resources
Availability Online Library~1

Theoretical Introduction to Programming

2024-12-25T19:07:32Z

Author Mills, Bruce. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-84628-263-2
Format: Electronic Resources
Availability Online Library~1

The Semantic Web – ASWC 2006 First Asian Semantic Web Conference, Beijing, China, September 3-7, 2006. Proceedings

2024-12-25T19:07:32Z

Author Mizoguchi, Riichiro. editor. Shi, Zhongzhi. editor. Giunchiglia, Fausto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11836025
Format: Electronic Resources
Availability Online Library~1

Cryptographic Hardware and Embedded Systems - CHES 2006 8th International Workshop, Yokohama, Japan, October 10-13, 2006. Proceedings

2024-12-25T19:07:32Z

Author Goubin, Louis. editor. Matsui, Mitsuru. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11894063
Format: Electronic Resources
Availability Online Library~1

The Semantic Web - ISWC 2006 5th International Semantic Web Conference, ISWC 2006, Athens, GA, USA, November 5-9, 2006. Proceedings

2024-12-25T19:07:32Z

Author Cruz, Isabel. editor. Decker, Stefan. editor. Allemang, Dean. editor. Preist, Chris. editor. Schwabe, Daniel. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11926078
Format: Electronic Resources
Availability Online Library~1

Scenarios: Models, Transformations and Tools International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers

2024-12-25T19:07:32Z

Author Leue, Stefan. editor. Systä, Tarja Johanna. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137052
Format: Electronic Resources
Availability Online Library~1

Rapid Integration of Software Engineering Techniques First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004. Revised Selected Papers

2024-12-25T19:07:32Z

Author Guelfi, Nicolas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136153
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-25T19:07:32Z

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

FM 2005: Formal Methods International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings

2024-12-25T19:07:32Z

Author Fitzgerald, John. editor. Hayes, Ian J. editor. Tarlecki, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b27882
Format: Electronic Resources
Availability Online Library~1

ECOOP 2005 - Object-Oriented Programming 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings

2024-12-25T19:07:32Z

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

Object-Oriented Technology. ECOOP 2004 Workshop Reader ECOOP 2004 Workshops, Oslo, Norway, June 14-18, 2004, Final Reports

2024-12-25T19:07:32Z

Author Malenfant, Jacques. editor. Østvold, Bjarte M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b104146
Format: Electronic Resources
Availability Online Library~1

Foundations of Security Analysis and Design III FOSAD 2004/2005 Tutorial Lectures

2024-12-25T19:07:32Z

Author Aldini, Alessandro. editor. Gorrieri, Roberto. editor. Martinelli, Fabio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11554578
Format: Electronic Resources
Availability Online Library~1

Cryptographic Hardware and Embedded Systems – CHES 2005 7th International Workshop, Edinburgh, UK, August 29 – September 1, 2005. Proceedings

2024-12-25T19:07:32Z

Author Rao, Josyula R. editor. Sunar, Berk. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11545262
Format: Electronic Resources
Availability Online Library~1

Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings

2024-12-25T19:07:32Z

Author Peled, Doron A. editor. Tsay, Yih-Kuen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11562948
Format: Electronic Resources
Availability Online Library~1

Computer Safety, Reliability, and Security 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005. Proceedings

2024-12-25T19:07:32Z

Author Winther, Rune. editor. Gran, Bjørn Axel. editor. Dahll, Gustav. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11563228
Format: Electronic Resources
Availability Online Library~1

Rules and Rule Markup Languages for the Semantic Web First International Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005. Proceedings

2024-12-25T19:07:32Z

Author Adi, Asaf. editor. Stoutenburg, Suzette. editor. Tabet, Said. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11580072
Format: Electronic Resources
Availability Online Library~1

SDL 2005: Model Driven 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005. Proceedings

2024-12-25T19:07:32Z

Author Prinz, Andreas. editor. Reed, Rick. editor. Reed, Jeanne. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137793
Format: Electronic Resources
Availability Online Library~1

Reasoning Web First International Summer School 2005, Msida, Malta, July 25-29, 2005, Revised Lectures

2024-12-25T19:07:32Z

Author Eisinger, Norbert. editor. Małuszyński, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11526988
Format: Electronic Resources
Availability Online Library~1

Logically determined design clockless system design with NULL convention logic

2024-12-25T19:07:32Z

Author Fant, Karl M.
Preferred Shelf Number ONLINE
Electronic Access Click for information Available by subscription from Safari Books Online John Wiley http://dx.doi.org/10.1002/0471702897 MyiLibrary, Table of contents http://www.myilibrary.com?id=25243&ref=toc Volltext http://proquest.tech.safaribooksonline.de/9780471684787
Format: Electronic Resources
Availability Online Library~1

Formal Approaches to Agent-Based Systems Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers

2024-12-25T19:07:32Z

Author Hinchey, Michael G. editor. Rash, James L. editor. Truszkowski, Walter F. editor. Rouff, Christopher A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105317
Format: Electronic Resources
Availability Online Library~1

Extreme Programming and Agile Processes in Software Engineering 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005. Proceedings

2024-12-25T19:07:32Z

Author Baumeister, Hubert. editor. Marchesi, Michele. editor. Holcombe, Mike. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137278
Format: Electronic Resources
Availability Online Library~1

Model Driven Architecture European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003 and Linköping, Sweden, June 10-11, 2004. Revised Selected Papers

2024-12-25T19:07:32Z

Author Aßmann, Uwe. editor. Aksit, Mehmet. editor. Rensink, Arend. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11538097
Format: Electronic Resources
Availability Online Library~1

Formal Approaches to Software Testing 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers

2024-12-25T19:07:32Z

Author Grabowski, Jens. editor. Nielsen, Brian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106767
Format: Electronic Resources
Availability Online Library~1

The Semantic Web – ISWC 2005 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005. Proceedings

2024-12-25T19:07:32Z

Author Gil, Yolanda. editor. Motta, Enrico. editor. Benjamins, V. Richard. editor. Musen, Mark A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11574620
Format: Electronic Resources
Availability Online Library~1

Model Driven Architecture – Foundations and Applications First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005. Proceedings

2024-12-25T19:07:32Z

Author Hartman, Alan. editor. Kreische, David. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11581741
Format: Electronic Resources
Availability Online Library~1