2012

21st century learning for 21st century skills : 7th European Conference of Technology Enhanced Learning, EC-TEL 2012, Saarbrücken, Germany, September 18-21, 2012. Proceedings

European Conference on Technology Enhanced Learning (7th : 2012 : Saarbrücken, Germany)



 

2010

A 25-Year perspective on logic programming : achievements of the Italian Association for Logic Programming, GULP

 

2019

Accelerator programming using Directives : 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings

WACCPD (Workshop) (5th : 2018 : Dallas, Tex.)

Cham, Switzerland : Springer, 2019

 

2020

Accelerator programming using directives : 6th International Workshop, WACCPD 2019, Denver, CO, USA, November 18, 2019, Revised selected papers

WACCPD (Workshop) (6th : 2019 : Denver, Colo.)



 

2021

Accelerator programming using directives : 7th international workshop, WACCPD 2020, virtual event, November 20, 2020 : proceedings

WACCPD (Workshop) (7th : 2020 : Online)

Cham : Springer, [2021]

 

2022

Accelerator programming using directives : 8th International Workshop, WACCPD 2021, virtual event, November 14, 2021, proceedings

WACCPD (Workshop) (8th : 2021 : Online)

Cham, Switzerland : Springer, 2022

 

2008

Ada 2005 rationale : the language, the standard libraries

Barnes, J. G. P. (John Gilbert Presslie)



 

2013

Ada 2012 rationale : the language, the standard libraries

Barnes, J. G. P. (John Gilbert Presslie), author.

Heidelberg : Springer, [2013]

 

2013

Ada 2012 reference manual : language and standard libraries : International Standard ISO/IEC 8652/2012 (E)

Heidelberg : Springer, 2013

 

2010

Advanced lectures on software engineering : LASER summer school 2007/2008

 

2019

Advances in conceptual modeling : ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4-7, 2019, Proceedings

International Conference on Conceptual Modeling (38th : 2019 : Salvador, Brazil)

Cham, Switzerland : Springer, 2019

 

2021

Advances in conceptual modeling : ER 2021 Workshops CoMoNoS, EmpER, CMLS St. John's, NL, Canada, October 18-21, 2021, Proceedings

CoMoNoS (Workshop) (2nd : 2021 : Online)



 

2007

Advances in rule interchange and applications : international symposium, RuleML 2007, Orlando, Florida, October 25-26, 2007 ; proceedings

RuleML (Symposium : Rule interchange) (2007 : Orlando, Fla.)



 

2008

Advances in software engineering : Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007 : revised tutorial lectures

Lipari Summer School on Advances in Software Engineering (2007 : Lipari Island, Italy)



 

2012

Advances in software engineering techniques : 4th IFIP TC 2 Central And East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14 2009 : revised selected

IFIP TC 2 Central and East European Conference on Software Engineering Techniques (4th : 2009 : Kraków, Poland)



 

2008

Agent-oriented software engineering VIII : 8th international workshop, AOSE 2007, Honolulu, Hi, USA, May 14, 2007 : revised selected papers

AOSE 2007 (2007 : Honolulu, Hawaii)



 

2011

Agent-oriented software engineering X : 10th international workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009 : revised selected papers

AOSE (Workshop) (10th : 2009 : Budapest, Hungary)



 

2007

Agile processes in software engineering and eXtreme programming : 8th international conference, XP 2007, Como, Italy, June 18-22, 2007 : proceedings

XP (Conference) (8th : 2007 : Como, Italy)



 

2006

Algebraic methodology and software technology : 11th international conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006 : proceedings

International Conference on Algebraic Methodology and Software Technology (11th : 2006 : Kingissepa, Estonia)



 

2013

Aliasing in object-oriented programming : types, analysis and verification

 

2007

All about Maude-- a high-performance logical framework : how to specify, program and verify systems in rewriting logic

Clavel, Manuel, 1969-



 

2008

Analytical and stochastic modeling techniques and applications : 15th international conference, ASMTA 2008, Nicosia, Cyprus, June 4-6, 2008 : proceedings

ASMTA (Conference) (15th : 2008 : Nicosia, Cyprus)



 

2010

Analytical and stochastic modeling techniques and applications : 17th international conference, ASMTA 2010, Cardiff, UK, June 14-16, 2010 ; proceedings

ASMTA (Conference) (17th : 2010 : Cardiff, Wales)



 

2011

Analytical and stochastic modeling techniques and applications : 18th international conference, ASMTA 2011, Venice, Italy, June 20-22, 2011 : proceedings

ASMTA (Conference) (18th : 2011 : Venice, Italy)



 

2012

Analytical and stochastic modeling techniques and applications : 19th International Conference, ASMTA 2012, Grenoble, France, June 4-6, 2012. Proceedings

ASMTA (Conference) (19th : 2012 : Grenoble, France)



 

2014

Analytical and stochastic modeling techniques and applications : 21st International Conference, ASMTA 2014, Budapest, Hungary, June 30-July 2, 2014. Proceedings

ASMTA (Conference) (21st : 2014 : Budapest, Hungary)

Cham : Springer, 2014

 

2016

Analytical and stochastic modeling techniques and applications : 23rd International Conference, ASMTA 2016, Cardiff, Wales, August 24-26, 2016. Proceedings

ASMTA (Conference) (23rd : 2016 : Cardiff, Wales)

Switzerland : Springer, 2016

 

2013

Analytical and Stochastic Modelling Techniques and Applications : 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013. Proceedings

ASMTA (Conference) (20th : 2013 : Ghent, Belgium)



 

2017

Analytical and stochastic modelling techniques and applications : 24th International Conference, ASMTA 2017, Newcastle-upon-Tyne, UK, July 10-11, 2017, Proceedings

ASMTA (Conference) (24th : 2017 : Newcastle upon Tyne, England)

Cham, Switzerland : Springer, 2017

 

2020

Analytical and stochastic modelling techniques and applications : 25th International Conference, ASMTA 2019, Moscow, Russia, October 21-25, 2019, Proceedings

ASMTA (Conference) (25th : 2019 : Moscow, Russia)

Cham, Switzerland : Springer, [2020]

 

2012

Applications of graph transformations with industrial relevance : 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised selected and invited papers

AGTIVE (Symposium) (4th : 2011 : Budapest, Hungary)



 

2014

Applied algorithms : first international conference, ICAA 2014, Kolkata, India, January 13-15, 2014 : proceedings

ICAA (Conference) (1st : 2014 : Kolkata, India)

Cham : Springer, [2014]

 

2010

Approaches and applications of inductive programming : Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers

AAIP 2009 (3rd : 2009 : Edinburgh, Scotland)



 

2007

Architecting dependable systems IV

 

2008

Architecting dependable systems V

 

2009

Architecting dependable systems VI

 

2010

Architecting dependable systems VII

 

2013

Assurances for self-adaptive systems : principles, models, and techniques

 

2006

Automated technology for verification and analysis : 4th international symposium, ATVA 2006, Beijing, China, October 23-26, 2006 : proceedings

ATVA (Symposium) (4th : 2006 : Beijing, China)



 

2007

Automated technology for verification and analysis : 5th international symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 : proceedings

ATVA (Symposium) (5th : 2007 : Tokyo, Japan)



 

2008

Automated technology for verification and analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, proceedings

ATVA (Symposium) (6th : 2008 : Seoul, Korea)



 

2009

Automated technology for verification and analysis : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, proceedings

ATVA (Symposium) (7th : 2009 : Macau, China)



 

2010

Automated technology for verification and analysis : 8th international symposium, ATVA 2010, Singapore, September 21-24, 2010 : proceedings

ATVA (Symposium) (8th : 2010 : Singapore)



 

2012

Automated technology for verification and analysis : 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings

ATVA (Symposium) (10th : 2012 : Trivandrum, India)



 

2013

Automated technology for verification and analysis : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings

ATVA (Symposium) (11th : 2013 : Hanoi, Vietnam)

Cham : Springer, [2013]

 

2014

Automated technology for verification and analysis : 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings

ATVA (Symposium) (12th : 2014 : Sydney, N.S.W.)

Cham : Springer, 2014

 

2015

Automated technology for verification and analysis : 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings

ATVA (Symposium) (13th : 2015 : Shanghai, China)

Cham : Springer, 2015

 

2016

Automated technology for verification and analysis : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

ATVA (Symposium) (14th : 2016 : Chiba, Japan)

Cham, Switzerland : Springer, 2016

 

2017

Automated technology for verification and analysis : 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings

ATVA (Symposium) (15th : 2017 : Pune, India)

Cham, Switzerland : Springer, 2017

 

2018

Automated technology for verification and analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

ATVA (Symposium) (16th : 2018 : Los Angeles, Calif.)

Cham, Switzerland : Springer, 2018