2008

Advanced methods for inconsistent knowledge management

Nguyen, Ngoc Thanh (Computer scientist)

London : Springer, [2008]

Request It 

2008

Advanced methods for inconsistent knowledge management

Nguyen, Ngoc Thanh (Computer scientist)



 

2016

Algorithmic aspects of cloud computing : first International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised selected papers

ALGOCLOUD (Workshop) (1st : 2015 : Patrai, Greece)

Cham : Springer, 2016

 

2007

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

Clavel, Manuel, 1969-



 

2017

Application and theory of petri nets and concurrency : 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, proceedings

International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (38th : 2017 : Zaragoza, Spain)

Cham, Switzerland : Springer, [2017]

 

2017

Applied logic for computer scientists : computational deduction and formal proofs

Ayala-Rincón, M. (Mauricio), author.

Cham, Switzerland : Springer, 2017

 

2012

Argumentation in multi-agent systems : 8th International Workshop, ArgMAS 2011, Taipei, Taiwan, May 3, 2011, Revised selected papers

ArgMAS 2011 (2011 : Taipei, Taiwan)



 

2007

Argumentation in multi-agent systems : third international workshop, ArgMAS 2006, Hakodate, Japan, May 8, 2006 : revised selected and invited papers

ArgMAS 2006 (2006 : Hakodate-shi, Japan)



 

2022

Artificial intelligence logic and applications : the 2nd international conference, AILA 2022, Shanghai, China, August 26-28, 2022 : proceedings

AILA (Conference) (2nd : 2022 : Shanghai, China)

Singapore : Springer, [2022]

 

2019

At the intersection of language, logic, and information : ESSLLI 2018 Students Session, Sofia, Bulgaria, August 6-17, 2018. Selected papers

European Summer School in Logic, Language, and Information (30th : 2018 : Sofia, Bulgaria)

Berlin : Springer, [2019]

 

2010

Automated reasoning : 5th international joint conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 : proceedings

IJCAR (Conference) (5th : 2010 : Edinburgh, Scotland)



 

2012

Automated reasoning : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings

IJCAR (Conference) (6th : 2012 : Manchester, England)



 

2014

Automated reasoning : 7th International Joint Conference, IJCAR 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings

IJCAR (Conference) (7th : 2014 : Vienna, Austria)

Cham : Springer, 2014

 

2016

Automated reasoning : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27-July 2, 2016, Proceedings

IJCAR (Conference) (8th : 2016 : Coimbra, Portugal)

Switzerland : Springer, 2016

 

2018

Automated reasoning : 9th International Joint Conference, IJCAR 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, proceedings

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

Cham, Switzerland : Springer, 2018

 

2020

Automated reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings.

IJCAR (Conference) (10th : 2020 : Online)



 

2020

Automated reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings.

IJCAR (Conference) (10th : 2020 : Online)



 

2022

Automated reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings

IJCAR (Conference) (11th : 2022 : Haifa, Israel)

Cham, Switzerland : Springer, 2022

 

2013

Automated reasoning and mathematics : essays in memory of William W. McCune

 

2008

Automated Reasoning : fourth International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008 : proceedings

IJCAR (Conference) (4th : 2008 : Sydney, N.S.W.)



 

2006

Automated reasoning : third international joint conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings

IJCAR (Conference) (3rd : 2006 : Seattle, Wash.)



 

2013

Belief revision in non-classical logics

Ribeiro, Márcio Moretto, author

London : Springer, [2013]

 

1986

CAAP '86 : 11th Colloquium on Trees in Algebra and Programming Nice, France, March 24-26, 1986 Proceedings

Franchi-Zannettacci, P. (Paul)



 

2007

Calculus of computation : decision procedures with applications to verification

Bradley, Aaron R



 

2020

Case-based reasoning research and development : 28th International Conference, ICCBR 2020, Salamanca, Spain, June 8-12, 2020, Proceedings

International Conference on Case-Based Reasoning (28th : 2020 : Online)

Cham : Springer, 2020

 

2006

Computation engineering : applied automata theory and logic

Gopalakrishnan, Ganesh



 

2013

Computation, logic, games, and quantum foundations : the many facets of Samson Abramsky ; essays dedicated to Samson Abramsky on the occasion of his 60th birthday

 

2012

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, Februa

International Workshop on Theoretical Computer Science (2012 : Auckland, N.Z.)



 

2005

Computational logic in multi-agent systems : 4th international workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004 : revised selected and invited papers

CLIMA (Workshop) (4th : 2004 : Fort Lauderdale, Fla.)



 

2005

Computational logic in multi-agent systems : 5th international workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004 : revised selected and invited papers

CLIMA (Workshop) (5th : 2004 : Lisbon, Portugal)



 

2006

Computational logic in multi-agent systems : 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005 : revised selected and invited papers

CLIMA (Workshop) (6th : 2005 : London, England)



 

2007

Computational logic in multi-agent systems : 7th international workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006 : revised selected and invited papers

CLIMA (Workshop) (7th : 2006 : Hakodate-shi, Japan)



 

2008

Computational logic in multi-agent systems : 8th international workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007 : revised selected and Invited papers

CLIMA (Workshop) (8th : 2007 : Porto, Portugal)



 

2010

Computational logic in multi-agent systems : 11th international workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010 : proceedings

CLIMA (Workshop) (11th : 2010 : Lisbon, Portugal)

Berlin : Springer, 2010

 

2011

Computational logic in multi-agent systems : 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011, proceedings

CLIMA (Workshop) (12th : 2011 : Barcelona, Spain)



 

2021

Computational thinking : a perspective on computer science

Xu, Zhiwei



 

2020

Computational thinking and how to develop it in the educational process

Klement, Milan, 1974- author
First edition
Olomouc : Palacký University Olomouc, 2020

 

2022

Computational thinking for life scientists

Chor, Benny, author.

Cambridge, United Kingdom ; New York, NY : Cambridge University Press, 2022

 

2019

Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings.

CAV (Conference) (31st : 2019 : New York, N.Y.)

Cham, Switzerland : SpringerOpen, [2019]

 

2017

Computer Algebra in Scientific Computing : 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings

CASC (Workshop : 2001- ) (19th : 2017 : Beijing, China)

Cham : Springer International Publishing, 2017

 

2018

Computer algebra in scientific computing : 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018, Proceedings

International Workshop on Computer Algebra in Scientific Computing (20th : 2018 : Lille, France)

Cham, Switzerland : Springer, 2018

 

2019

Computer algebra in scientific computing : 21st International Workshop, CASC 2019, Moscow, Russia, August 26-30, 2019, Proceedings

International Workshop on Computer Algebra in Scientific Computing (21st : 2019 : Moscow, Russia)

Cham, Switzerland : Springer, 2019

 

2020

Computer Algebra in Scientific Computing : 22nd International Workshop, CASC 2020, Linz, Austria, September 14-18, 2020, Proceedings

International Workshop on Computer Algebra in Scientific Computing (22nd : 2020 : Online)



 

2021

Computer algebra in scientific computing : 23rd International Workshop, CASC 2021, Sochi, Russia, September 13-17, 2021, Proceedings

International Workshop on Computer Algebra in Scientific Computing (23rd : 2021 : Sochi, Russia ; Online)

Cham, Switzerland : Springer, 2021

 

2017

Computer Performance Engineering : 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings

EPEW (Workshop) (14th : 2017 : Berlin, Germany)

Cham : Springer International Publishing, 2017

 

2018

Computer performance engineering : 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings

EPEW (Workshop) (15th : 2018 : Paris, France)

Cham, Switzerland : Springer, 2018

 

2020

Computer performance engineering : 16th European Workshop, EPEW 2019, Milan, Italy, November 28-29, 2019, Revised Selected Papers

EPEW (Workshop) (16th : 2019 : Milan, Italy)



 

2023

Computer performance engineering and stochastic modelling : 19th European Workshop, EPEW 2023, and 27th International Conference, ASMTA 2023, Florence, Italy, June 20-23, 2023, proceedings

EPEW (Workshop) (19th : 2023 : Florence, Italy)

Cham : Springer, [2023]

 

2017

Computer Safety, Reliability, and Security : 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings

SAFECOMP (Conference) (36th : 2017 : Trento, Italy)

Cham : Springer International Publishing, 2017

 

2018

Computer safety, reliability, and security : 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings

SAFECOMP (Conference) (37th : 2018 : Västerås, Sweden)

Cham, Switzerland : Springer, 2018