1991

Fundamentals of computation theory : 8th International Conference, FCT '91, Gosen, Germany, September 9-13, 1991 : proceedings

International FCT-Conference (8th : 1991 : Gosen, Brandenburg, Germany)



 

1977

Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznán-Kórnik, Poland, September 19-23, 1977

International FCT-Conference (1st : 1977 : Poznán, Poland and Kórnik, Poland)



 

1981

Fundamentals of computation theory : proceedings of the 1981 International FCT-Conference, Szeged, August 24-28, 1981

International FCT-Conference (3rd : 1981 : Szeged, Hungary)



 

2005

Harmonic analysis, signal processing, and complexity : festschrift in honor of the 60th birthday of Carlos A. Berenstein

 

2009

Infinity in logic and computation : international conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, revised selected papers

ILC 2007 (2007 : Cape Town, South Africa)



 

2007

Knowledge discovery and emergent complexity in bioinformatics : first international workshop, KDECB 2006, Ghent, Belgium, May 10, 2006 : revised selected papers

KDECB 2006 (2006 : Ghent, Belgium)

Berlin ; New York : Springer, [2007]

Request It 

2007

Knowledge discovery and emergent complexity in bioinformatics : first international workshop, KDECB 2006, Ghent, Belgium, May 10, 2006 : revised selected papers

KDECB 2006 (2006 : Ghent, Belgium)



 

1995

Logic and computational complexity : international workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers

 

1984

Logic and machines : decision problems and complexity : Proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für Mathematische Logik und Frundlagenforschung

Symposium "Rekursive Kombinatorik" (1983 : Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen)



 

2012

Logic-based program synthesis and transformation : 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011, revised selected papers

International Workshop on Logic-Based Program Synthesis and Transformation (21st : 2011 : Odense, Denmark)



 

1981

Mathematical foundations of computer science 1981 : proceedings, 10th symposium, Strbské Pleso, Czechoslovakia, August 31-September 4, 1981

Symposium on Mathematical Foundations of Computer Science (1972- ) (10th : 1981 : Štrbské Pleso, Czechoslovakia)



 

1986

Mathematical foundations of computer science 1986 : proceedings of the 12th symposium, Bratislava, Czechoslovakia, August 25-29, 1986

Berlin ; New York : Springer-Verlag, ©1986

 

2012

Mathematical modelling and scientific computation : International Conference, ICMMSC 2012, Gandhigram, Tamil Nadu, India, March 16-18, 2012. Proceedings

International Conference on Mathematical Modelling and Scientific Computation (2012 : Gandhigram, India)



 

2020

Mathematical modelling and scientific computing with applications : ICMMSC 2018, Indore, India, July 19-21

International Conference on Mathematical Modelling and Scientific Computation (2018 : Indore, India)

Singapore : Springer, 2020

 

2009

Mathematical theory and computational practice : 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009 : proceedings

Conference on Computability in Europe (5th : 2009 : Heidelberg, Germany)

Berlin ; New York : Springer, [2009]

 

2005

New developments in computational fluid dynamics : proceedings of the Sixth International Nobeyama Workshop on the New Century of Computational Fluid Dynamics, Nobeyama, Japan, April 21 to 24, 2003

International Nobeyama Workshop on the New Century of Computational Fluid Dynamics (6th : 2003 : Nobeyama, Japan)



 

2021

Nonlinear analysis : problems, applications and computational methods

Cham : Springer, [2021]

 

1989

Optimal algorithms : international symposium, Varna, Bulgaria, May 29-June 2 1989 proceedings

 

2010

Parameterized and exact computation : 5th international symposium, IPEC 2010, Chennai, India, December 13-15, 2010 : proceedings

IPEC (Symposium) (5th : 2010 : Chennai, India)



 

2012

Parameterized and exact computation : 6th International Symposium, IPEC 2011, Saarbrücken, Germany, September 6-8, 2011. Revised selected papers

IPEC (Symposium) (6th : 2011 : Saarbrücken, Germany)



 

2006

Parameterized and exact computation : second international workshop, IWPEC 2006, Zürich, Switzerland, September 13-15, 2006 : proceedings

IWPEC (Workshop) (2nd : 2006 : Zurich, Switzerland)



 

2008

Parameterized and exact computation : third international workshop, IWPEC 2008, Victoria, Canada, May 14-16, 2008 : proceedings

IWPEC (Workshop) (3rd : 2008 : Victoria, B.C.)



 

1987-

Proceedings

Structure in Complexity Theory Conference

Washington, D.C. : IEEE Computer Society Press, [1987-]