2018

Advances in knowledge discovery and data mining : 22nd Pacific-Asia Conference, PAKDD 2018, Melbourne, VIC, Australia, June 3-6, 2018, Proceedings.

PAKDD (Conference) (22nd : 2018 : Melbourne, Vic.)

Cham, Switzerland : Springer, 2018

Request It 

2005

Engineering self-organising systems : methodologies and applications

 

2007

Systems biology and regulatory genomics : Joint Annual RECOMB 2005 Satellite Workshops on Systems Biology and on Regulatory Genomics, San Diego, CA, USA, December 2-4, 2005 : revised selected papers

RECOMB Satellite Workshop on Systems Biology (2005 : San Diego, Calif.)

Berlin ; [London] : Springer, [2007]

Request It 

2005

Conceptual structures: common semantics for sharing knowledge : 13th international conference on conceptual structures, ICCS 2005 Kassel, Germany, July 2005 : proceedings.

International Conference on Conceptual Structures (13th : 2005 : Kassel, Germany)

Berlin ; [London] : Springer, [2005]

Request It 

2015

Brain Informatics and Health : 8th International Conference, BIH 2015, London, UK, August 30-September 2, 2015 : proceedings

BIH (Conference) (8th : 2015 : London, England), author.

Cham : Springer, 2015

 

2011

Logic and grammar : essays dedicated to Alain Lecomte on the occasion of his 60th birthday

 

2015

Foundations of Intelligent Systems : 22nd International Symposium, ISMIS 2015, Lyon, France, October 21-23, 2015, Proceedings

International Symposium on Methodologies for Intelligent Systems (22nd : 2015 : Lyon, France)

Cham : Springer, 2015

 

2015

Agent environments for multi-agent systems IV : 4th International Workshop, E4MAS 2014-10 Years Later, Paris, France, May 6, 2014, Revised Selected and Invited Papers

E4MAS (Workshop) (4th : 2014 : Paris, France)

Cham : Springer, 2015

 

2002

Advances in knowledge discovery and data mining : 6th Pacific-Asia conference, PAKDD 2002, Taipei, Taiwan, May 6-8, 2002 : proceedings

Pacific-Asia Conference on Knowledge Discovery and Data Mining (6th : 2002 : Taipei, Taiwan)

Berlin ; London : Springer, [2002]

Request It 

2005

Spatial cognition IV : reasoning, action, interaction : International Conference Spatial Cognition 2004, Frauenchiemsee, Germany, October 11-13, 2004 : revised selected papers

Spatial Cognition 2004 (2004 : Frauenchiemsee, Germany)

Berlin ; New York : Springer, [2005]

Request It 

2015

Knowledge Science, Engineering and Management : 8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015, Proceedings

KSEM (Conference) (8th : 2015 : Chongqing, China)

Cham : Springer, 2015

 

2015

Distributed computing : 29th International Symposium, DISC 2015, Tokyo, Japan, October 7-9, 2015, Proceedings

DISC (Symposium) (29th : 2015 : Tokyo, Japan)

Berlin, Heidelberg : Springer, 2015

 

2005

Formal methods for components and objects : third international symposium, FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004, revised lectures

FMCO (Symposium) (3rd : 2004 : Leiden, Netherlands)
First edition
New York, NY ; [Great Britain] : Springer, 2005

Request It 

2010

Concurrency, compositionality, and correctness : essays in honor of Willem-Paul De Roever

 

2015

Algorithms and computation : 26th International Symposium, ISAAC 2015, Nagoya, Japan, December 9-11, 2015, Proceedings

ISAAC (Symposium) (26th : 2015 : Nagoya-shi, Japan)

Heidelberg : Springer, 2015

 

2010

Advanced intelligent computing theories and applications : 6th International Conference on Intelligent Computing, ICIC 2010, Changsha, China, August 18-21, 2010 : proceedings

International Conference on Intelligent Computing (6th : 2010 : Changsha, China)



 

2018

Recent trends and future technology in applied intelligence : 31st International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2018, Montreal, QC,

International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems (31st : 2018 : Montreal, Québec)

Cham, Switzerland : Springer, [2018]

 

2011

Tools for teaching logic : third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011, Proceedings

TICTTL 2011 (2011 : Salamanca, Spain)



 

2010

Deontic logic in computer science : 10th international conference, DEON 2010, Fiesole, Italy, July 7-9, 2010 : proceedings

International Conference on Deontic Logic in Computer Science (10th : 2010 : Fiesole, Italy)



 

2011

Formal grammar : 14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009, Revised selected papers

FG (Conference) (14th : 2009 : Bordeaux, France)



 

2016

SOFSEM 2016 : theory and practice of computer science : 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proc

SOFSEM (Conference) (42nd : 2016 : Harrachov, Czech Republic)

Berlin : Springer, 2016

 

2010

Logic, language, information and computation : 17th international workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010 ; proceedings

Workshop on Logic, Language, Information and Computation (17th : 2010 : Brasilia, Distrito Federal, Brazil)



 

2015

PRIMA 2015 : Principles and Practice of Multi-Agent Systems : 18th International Conference, Bertinoro, Italy, October 26-30, 2015, Proceedings

International Conference on Principles and Practice of Multi-agent Systems (18th : 2015 : Bertinoro, Italy)

Cham : Springer, 2015

 

2004

Algorithmic learning theory : 15th international conference, ALT 2004, Padova, Italy, October 2-5, 2004 : proceedings

ALT 2004 (2004 : Padua, Italy)

Berlin ; New York : Springer, 2004

Request It 

2008

Computer science - theory and applications : Third International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008 : proceedings

International Computer Science Symposium in Russia (3rd : 2008 : Moscow, Russia)



 

2004

Artificial intelligence : methodology, systems, and applications : 11th international conference, AIMSA 2004, Varna, Bulgaria, September 2-4, 2004 : proceedings

International Conference on Artificial Intelligence: Methodology, Systems, Applications (11th : 2004 : Varna, Bulgaria)

Berlin ; [London] : Springer, [2004]

Request It 

2006

Performability has its price : 5th International Workshop on Internet Charging and QoS Technologies, ICQT 2006, St. Malo, France, June 27, 2006 : proceedings

International Workshop on Internet Charging and QoS Technologies (5th : 2006 : Saint-Malo, France)



 

2008

Concurrency, graphs and models : essays dedicated to Ugo Montanari on the occasion of his 65th birthday

 

2011

Rainbow of computer science : dedicated to Hermann Maurer on the occasion of his 70th birthday

 

2015

Advances in Artificial Intelligence and Its Applications : 14th Mexican International Conference on Artificial Intelligence, MICAI 2015, Cuernavaca, Morelos, Mexico, October 25-31, 2015, Proceedings.

Mexican International Conference on Artificial Intelligence (14th : 2015 : Cuernavaca, Mexico)

Cham : Springer, 2015

 

2015

Discovery science : 18th International Conference, DS 2015, Banff, AB, Canada, October 4-6, 2015. Proceedings

International Conference on Discovery Science (18th : 2015 : Banff, Alta.)

Cham : Springer, 2015

 

2011

Logic and games on automatic structures : playing with quantifiers and decompositions

Kaiser, Łukasz.



 

2014

Knowledge representation for health care : 6th International Workshop, KR4HC 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 21, 2014, revised selected papers

KR4HC (Workshop) (6th : 2014 : Vienna, Austria)

Cham : Springer, 2014

 

2015

Algorithmic learning theory : 26th International Conference, ALT 2015, Banff, AB, Canada, October 4-6, 2015, Proceedings

ALT (Conference) (26th : 2015 : Banff, Alta.)

Cham : Springer, 2015

 

2016

Patch-based techniques in medical imaging : Second International Workshop, Patch-MI 2016, held in conjunction with MICCAI 2016, Athens, Greece, October 17, 2016 : proceedings

Patch-MI (Workshop) (2nd : 2016 : Athens, Greece), author.

Cham, Switzerland : Springer, [2016]

 

2010

Dependency structures and lexicalized grammars : an algebraic approach

Kuhlmann, Marco



 

1995

Image Analysis Applications and Computer Graphics : Third International Computer Science Conference, ICSC '95 Hong Kong, December 11-13, 1995 Proceedings

International Computer Science Conference (3rd : 1995 : Hong Kong)



 

2015

Advances in Artificial Intelligence and Soft Computing : 14th Mexican International Conference on Artificial Intelligence, MICAI 2015, Cuernavaca, Morelos, Mexico, October 25-31, 2015, Proceedings.

Mexican International Conference on Artificial Intelligence (14th : 2015 : Cuernavaca, Mexico)

Cham : Springer, 2015

 

1996

Computer Aided Learning and Instruction in Science and Engineering : Third International Conference, CALISCE '96 San Sebastian, Spain, July 29-31, 1996 Proceedings

Díaz de Ilarraza Sánchez, Arantza.



 

2018

Intelligent information and database systems : 10th Asian Conference, ACIIDS 2018, Dong Hoi City, Vietnam, March 19-21, 2018, Proceedings.

Asian Conference on Intelligent Information and Database Systems (10th : 2018 : Dong Hoi City, Vietnam)

Cham : Springer, 2018

 

2018

LATIN 2018 : Theoretical Informatics : 13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018, Proceedings

Latin American Symposium on Theoretical Informatics (13th : 2018 : Buenos Aires, Argentina)

Cham, Switzerland : Springer, 2018

 

2007

Computer aided systems theory-- EUROCAST 2007 : 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007 : revised selected papers

International Conference on Computer Aided Systems Theory (11th : 2007 : Las Palmas, Canary Islands)



 

2011

Holonic and multi-agent systems for manufacturing : 5th International Conference on Industrial Applications of Holonic and Multi-agent Systems, HoloMAS 2011, Toulouse, France, August 29-31, 2011 : pro

International Conference on Industrial Applications of Holonic and Multi-Agent Systems (5th : 2011 : Toulouse, France)



 

2015

SOFSEM 2015 : theory and practice of computer science : 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015

SOFSEM (Conference) (41st : 2015 : Pec pod Sněžkou, Czech Republic)

Heidelberg : Springer, 2015

 

1974

Rechner-Gestützter Unterricht : RGU '74, Fachtagung, Hamburg 12.-14. August 1974 ACU-Arbeitskreis Computer-Unterstützter Unterricht

Brunnstein, K., editor

Berlin, Heidelberg : Springer Berlin Heidelberg, 1974

 

2015

Statistical Language and Speech Processing : Third International Conference, SLSP 2015, Budapest, Hungary, November 24-26, 2015, Proceedings

SLSP (Conference) (3rd : 2015 : Budapest, Hungary)

Cham : Springer, 2015

 

2011

Logic programming, knowledge representation, and nonmonotonic reasoning : essays dedicated to Michael Gelfond on the occasion of his 65th birthday

 

2010

Graph-theoretic concepts in computer science : 36th international workshop, WG 2010, Zarós, Crete, Greece, June 28-30, 2010 : revised papers

Conference on Graphtheoretic Concepts in Computer Science (36th : 2010 : Zarós, Crete)



 

2013

Process support and knowledge representation in health care : AIME 2013 Joint Workshop, KR4HC 2013/ProHealth 2013, Murcia, Spain, June 1, 2013, revised selected papers

Conference on Artificial Intelligence in Medicine (2005- ) (14th : 2013 : Murcia, Spain)

Cham : Springer International Publishing : Imprint : Springer, [2013]

 

2011

Mathematical foundations of computer science 2011 : 36th international symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011 : proceedings

Symposium on Mathematical Foundations of Computer Science (1972- ) (36th : 2011 : Warsaw, Poland)