Computer Aided Systems Theory - EUROCAST '91 : a Selection of Papers from the Second International Workshop on Computer Aided Systems Theory, Krems, Austria, April 15-19, 1991. Proceedings /

Artificial Neural Networks - ICANN'97 : 7th International Conference, Lausanne, Switzerland, October 8-10, 1997, Proceedings /
by: Gerstner, Wulfram
Published: (1997)

Computer Aided Systems Theory - EUROCAST 2022 : 18th International Conference, Las Palmas de Gran Canaria, Spain, February 20-25, 2022, Revised Selected Papers /
Published: (2022)

Computer Aided Systems Theory - EUROCAST '97 : A Selection of Papers from the Sixth International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 1997, Proceedings /
by: Pichler, Franz, Dr
Published: (1997)

Computer aided systems theory - EUROCAST'99 : a selection of papers from the 7th International Workshop on Computer Aided Systems Theory, Vienna, Austria, September 29-October 2, 1999 : proceedings /
Published: (2000)

Computer Aided Systems Theory - EUROCAST 2019 : 17th International Conference, Las Palmas de Gran Canaria, Spain, February 17-22, 2019, Revised Selected Papers, Part I /
Published: (2020)

Computer aided systems theory--EUROCAST '95 : a selection of papers from the Fifth International Workshop on Computer Aided Systems Theory, Innsbruck, Austria, May 22-25, 1995 : proceedings /
Published: (1996)

Computer aided systems theory - EUROCAST '95 : a selection of papers from the Fifth International Workshop on Computer Aided Systems Theory, Innsbruck, Austria, May 22-25, 1995 ; proceedings /
Published: (1996)

Computer Aided Systems Theory - EUROCAST 2017 : 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II /
Published: (2018)

Computer aided systems theory--EUROCAST '93 : a selection of papers from the Third International Workshop on Computer Aided Systems Theory, Las Palmas, Spain, February 22-26, 1993 : proceedings /
Published: (1994)

Computational learning theory and natural learning systems /
Published: (1994)

Computer aided systems theory EUROCAST '97 : a selection of papers from the 6th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 1997 : proceedings /
Published: (1997)

Computer aided systems theory - EUROCAST 2001 : a selection of papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19-23, 2001 ; revised papers /
Published: (2001)

Computer aided systems theory - EUROCAST 2001 : a selection of papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19-23, 2001 : Revised Papers /
Published: (2001)

Computer aided systems theory--EUROCAST '89 : a selection of papers from the International Workshop EUROCAST '89, Las Palmas, Spain, February 26-March 4, 1989 : proceedings /
Published: (1990)

Computational theories of interaction and agency /
Published: (1996)

Computer aided systems theory -- EUROCAST 2005 : 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005 : revised selected papers /
Published: (2005)

Trends, Techniques, and Problems in Theoretical Computer Science : 4th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, October 13-17, 1986 /
by: Kelemenová, Alica
Published: (1987)

Computer aided systems theory--EUROCAST 2003 : 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003 : revised selected papers /
Published: (2003)

Dependability of artificial intelligence systems 1991 (DAISY 91) : proceedings of the IFIP WG 5.4/IFAC Workshop on Dependability of Artificial Intelligence Systems (DAISY 91), Vienna, Austria, 27-29 May 1991 /
Published: (1991)

Computer Aided Systems Theory - EUROCAST 2009 : 12th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 15-20, 2009 : revised selected papers /
Published: (2009)

Advances in Natural Computation, Fuzzy Systems and Knowledge Discovery : Proceedings of the ICNC-FSKD 2021 /
Published: (2022)

Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II /
Published: (2022)

Intelligent Computing Theories and Application : 15th International Conference, ICIC 2019, Nanchang, China, August 3-6, 2019, Proceedings, Part I /
Published: (2019)

Parallel Problem Solving from Nature - PPSN III : International Conference on Evolutionary Computation. The Third Conference on Parallel Problem Solving from Nature, Jerusalem, Israel, October 9-14, 1994. Proceedings /
by: Davidor, Yuval
Published: (1994)

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 /
Published: (2007)

Computational learning theory and natural learning systems /
Published: (1994)

An introduction to computational learning theory /
by: Kearns, Michael J.
Published: (1994)

Computationalism : new directions /
Published: (2002)

Medical Image Computing and Computer-Assisted Intervention - MICCAI'99 : Second International Conference, Cambridge, UK, September 19-22, 1999, Proceedings /
by: Taylor, Chris
Published: (1999)

Computational intelligence aided systems for healthcare domain /
Published: (2023)

Cognitive computing systems : applications and technological advancements /
Published: (2021)

Computer aided systems theory--EUROCAST 2005 : 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005 : revised selected papers /
Published: (2005)

Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I /
Published: (2019)

Quantum computational AI : algorithms, systems, and applications /
Published: (2026)

AI Computing Systems : An Application Driven Perspective /
by: Chen, Yunji, et al.
Published: (2024)

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II /
Published: (2023)