2010

Innovations in computing sciences and software engineering

 

2011

Innovative computing technology : first international conference, INCT 2011, Tehran, Iran, December 13-15, 2011 : proceedings

INCT (Conference) (1st : 2011 : Tehran, Iran)



 

2006

Innovative concepts for autonomic and agent-based systems : Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005 : revised papers

International Workshop on Radical Agent Concepts (2nd : 2005 : Greenbelt, Md.)



 

2012

Integrated formal methods : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings

International Conference on Integrated Formal Methods (9th : 2012 : Pisa, Italy)



 

2013

Integrated formal methods : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings

International Conference on Integrated Formal Methods (10th : 2013 : Turku, Finland)



 

2016

Integrated formal methods : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

International Conference on Integrated Formal Methods (12th : 2016 : Reykjavík, Iceland)

Switzerland : Springer, 2016

 

2017

Integrated formal methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

International Conference on Integrated Formal Methods (13th : 2017 : Turin, Italy)

Cham, Switzerland : Springer, 2017

 

2021

Intelligent computing and applications : proceedings of ICICA 2019

ICICA (Conference) (5th : 2019 : Ghaziabad, India)

Singapore : Springer, [2021]

 

2015

Intelligent software methodologies, tools and techniques : 13th International Conference, SoMeT 2014, Langkawi, Malaysia, September 22-24, 2014. Revised selected papers

IEEE International Conference on Intelligent Software Methodologies, Tools and Techniques (13th : 2014 : Langkawi, Malaysia)

Cham : Springer, 2015

 

2015

Intelligent software methodologies, tools and techniques : 14th international conference, SoMeT 2015, Naples, Italy, September 15-17, 2015 : proceedings

International Conference on New Trends in Software Methodologies, Tools and Techniques (14th : 2015 : Naples, Italy)

Cham Springer, [2015]

Request It 

2015

Intelligent software methodologies, tools and techniques : 14th International Conference, SoMeT 2015, Naples, Italy, September 15-17, 2015, proceedings

IEEE International Conference on Intelligent Software Methodologies, Tools and Techniques (14th : 2015 : Naples, Italy)

Cham : Springer, 2015

 

2013

Intelligent technologies and engineering systems

 

2016

Interactive theorem proving : 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016. Proceedings

ITP (Conference) (7th : 2016 : Nancy, France)

Switzerland : Springer, 2016

 

2017

Interactive theorem proving : 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings

ITP (Conference) (8th : 2017 : Brasília, Brazil)

Cham, Switzerland : Springer, 2017

 

2018

Interactive theorem proving : 9th International Conference, ITP 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings

ITP (Conference) (9th : 2018 : Oxford, England)

Cham, Switzerland : Springer, 2018

 

2012

Interactive theorem proving : third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings

ITP (Conference) (3rd : 2012 : Princeton, N.J.)



 

 

International Conference on Computational Intelligence and Software Engineering : [proceedings]

International Conference on Computational Intelligence and Software Engineering

Piscataway, N.J. : IEEE

 

2007

International Symposium on Fundamentals of Software Engineering : international symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007 : proceedings

International Symposium on Fundamentals of Software Engineering (2nd : 2007 : Tehran, Iran)



 

 

International Workshop on Managing Requirements Knowledge

International Workshop on Managing Requirements Knowledge

Piscataway, N.J. : IEEE

 

 

International Workshop on Requirements Engineering Education and Training

International Workshop on Requirements Engineering Education and Training

Piscataway, N.J. : IEEE

 

2009

IT revolutions : first International ICST Conference, IT Revolutions 2008, Venice, Italy, December 17-19, 2008, revised selected papers

IT Revolutions (1st : 2008 : Venice, Italy)



 

2014

Knowledge and systems engineering. proceedings of the fifth International Conference KSE 2013

First edition
Cham ; New York : Springer, [2014]

 

2014

Knowledge-based software engineering : 11th Joint Conference, JCKBSE 2014, Volgograd, Russia, September 17-20, 2014. Proceedings

Joint Conference on Knowledge-Based Software Engineering (11th : 2014 : Volgograd, Russia)

Cham : Springer, 2014

 

2023

Knowledge-based software engineering: 2022 : Proceedings of the 14th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2022), Larnaca, Cyprus, August 22-24, 2022

Joint Conference on Knowledge-Based Software Engineering (14th : 2022 : Online)

Cham, Switzerland : Springer, 2023

 

2020

Knowledge-based software engineering : proceedings of the 13th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2020), Larnaca, Cyprus, August 24-26 2020

Joint Conference on Knowledge-Based Software Engineering (13th : 2020 : Larnaca, Cyprus)



 

2008

Knowledge-based software engineering : proceedings of the Eighth Joint Conference on Knowledge-Based Software Engineering

Joint Conference on Knowledge-Based Software Engineering (8th : 2008 : Piraeus, Greece)



 

2012

Knowledge-Based Software Engineering : Proceedings of the Tenth Joint Conference on Knowledge-Based Software Engineering

Joint Conference on Knowledge-Based Software Engineering (10th : 2012 : Rhodes (Island), Greece)



 

2015

Knowledge engineering and semantic web : 6th International Conference, KESW 2015 Moscow, Russia, September 30 -- October 2, 2015 Proceedings

Cham : Springer, 2015

 

2016

Knowledge engineering and semantic web : 7th International Conference, KESW 2016, Prague, Czech Republic, September 21-23, 2016, proceedings

KESW (Conference) (7th : 2016 : Prague, Czech Republic)

Switzerland : Springer, 2016

 

2017

Knowledge engineering and semantic web : 8th International Conference, KESW 2017, Szczecin, Poland, November 8-10, 2017, Proceedings

KESW (Conference) (8th : 2017 : Szczecin, Poland)

Cham, Switzerland : Springer, 2017

 

2013

Knowledge engineering and the semantic web : 4th International Conference, KESW 2013, St. Petersburg, Russia, October 7-9, 2013. Proceedings

KESW (Conference) (4th : 2013 : Saint Petersburg, Russia)

Heidelberg : Springer, 2013

 

2014

Knowledge engineering and the semantic web : 5th International Conference, KESW 2014, Kazan, Russia, September 29-October 1, 2014. Proceedings

KESW (Conference) (5th : 2014 : Kazanʹ, Russia)

Cham : Springer, 2014

 

2016

Knowledge, information and creativity support systems : recent trends, advances and solutions : selected papers from KICSS '2013, 8th International Conference on Knowledge, Information, and Creativity

International Conference on Knowledge, Information and Creativity Support Systems (8th : 2013 : Krakow, Poland; Wieliczka, Poland)

Switzerland : Springer, 2016

 

2016

Knowledge, information and creativity support systems : selected papers from KICSS'2014 : 9th International Conference, held in Limassol, Cypus, on November 6-8, 2014

International Conference on Knowledge, Information and Creativity Support Systems (9th : 2014 : Limassol, Cyprus)

Switzerland : Springer, [2016]

 

2014

Languages, design methods, and tools for electronic system design : selected contributions from FDL 2013

FDL (Conference) (2013 : Paris, France)

Cham : Springer, [2014]

 

2016

Languages, design methods, and tools for electronic system design : selected contributions from FDL 2014

FDL (Conference) (2014 : Paris, France)

Cham : Springer, 2016

 

2016

Languages, design methods, and tools for electronic system design : selected contributions from FDL 2015

FDL (Conference) (2015 : Barcelona, Spain)

Switzerland : Springer, 2016

 

2018

Languages, design methods, and tools for electronic system design : selected contributions from FDL 2016

FDL (Conference) (2016 : Bremen, Germany)



 

2020

Languages, design methods, and tools for electronic system design : selected contributions from FDL 2018

FDL (Conference) (2018 : Munich, Germany)



 

2021

Lean and agile software development : 5th International Conference, LASD 2021, virtual event, January 23, 2021, proceedings

International Conference on Lean and Agile Software Development (5th : 2021 : Online)

Cham : Springer, [2021]

 

2022

Lean and agile software development : 6th international conference, LASD 2022, virtual event, January 22, 2022 : proceedings

International Conference on Lean and Agile Software Development (6th : 2022 : Online)

Cham : Springer, [2022]

 

2013

Lean enterprise software and systems : 4th International Conference, LESS 2013, Galway, Ireland, December 1-4, 2013, Proceedings

LESS (Conference) (4th : 2013 : Galway, Ireland)

Heidelberg : Springer, 2013

 

2019

Learning Technology for Education Challenges : 8th International Workshop, LTEC 2019, Zamora, Spain, July 15-18, 2019, Proceedings

LTEC (Workshop) (8th : 2019 : Zamora, Spain)

Cham, Switzerland : Springer International Publishing, 2019

 

2010

Leveraging applications of formal methods, verification, and validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, proceedings

ISoLA 2010 (2010 : Ērakleion, Greece)



 

2010

Leveraging applications of formal methods, verification, and validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, proceedings

ISoLA 2010 (2010 : Ērakleion, Greece)



 

2020

Leveraging applications of formal methods, verification and validation : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : pro

ISoLA (Symposium) (9th : 2020 : Online)

Cham, Switzerland : Springer, [2020]

 

2021

Leveraging applications of formal methods, verification and validation : 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Pro

ISoLA (Symposium) (10th : 2021 : Rhodes, Greece)



 

2022

Leveraging applications of formal methods, verification and validation : adaptation and learning : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, proceedings.

ISoLA (Symposium) (11th : 2022 : Rhodes, Greece)

Cham : Springer, [2022]

 

2022

Leveraging applications of formal methods, verification and validation : adaptation and learning : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, proceedings.

ISoLA (Symposium) (11th : 2022 : Rhodes, Greece)

Cham : Springer, [2022]

 

2022

Leveraging applications of formal methods, verification and validation : adaptation and learning : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, proceedings.

ISoLA (Symposium) (11th : 2022 : Rhodes, Greece)

Cham : Springer, [2022]