Cover Image

Foundations of computer science : potential--theory--cognition /

Show other versions (1)

Bibliographic Details
Other Authors:	Brauer, Wilfried, Freksa, C., Jantzen, Matthias, 1948-, Valk, R. (Rüdiger)
Format:	Book
Language:	English
Published:	Berlin ; New York : Springer, [1997]
Series:	Lecture notes in computer science ; 1337.
Subjects:	Computer science. système information. robotique. réseau neuronal. apprentissage machine. raisonnement. représentation connaissance. cognition. vérification. génie logiciel. système réparti. réseau Petri. théorie complexité. automate. langage formel. informatique théorique. Informatica. Informatique. Ordinateurs. Electronic resources (Books)

Similar Items

Foundations of computer science : potential--theory--cognition /
Published: (1997)

Computer science today : recent trends and developments /
Published: (1995)

STACS 2001 : 18th annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15-17, 2001 : proceedings /
Published: (2001)

Applications and theory of petri nets 2001 : 22nd International Conference, ICATPN 2001, Newcastle Upon Tyne, UK, June, 25-29, 2001 : proceedings /
Published: (2001)

New results and new trends in computer science, Graz, Austria, June 20-21, 1991 : proceedings /
Published: (1991)

STACS 96 : 13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22-24, 1996 : proceedings /
Published: (1996)

Mathematical foundations of computer science 1996 : 21st international symposium, MFCS '96, Craców, Poland, September 2-6, 1996 : proceedings /
Published: (1996)

STACS 2000 : 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 17-19, 2000 : proceedings /
Published: (2000)

STACS 99 : 16th annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4-6, 1999 : proceedings /
Published: (1999)

Mathematical foundations of computer science, 1991 : 16th international symposium, Kazimierz Dolny, Poland, September 9-13, 1991 : proceedings /
Published: (1991)

STACS 97 : 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27-March 1, 1997 : proceedings /
Published: (1997)

Aspects and prospects of theoretical computer science : 6th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 19-23, 1990 : proceedings /
Published: (1990)

Computational science - ICCS 2001 : international conference, San Francisco, CA, USA, May 28-30, 2001 : proceedings /
Published: (2001)

Artificial neural networks : ICANN 96 : 1996 international conference, Bochum, Germany, July 16-19, 1996 : proceedings /
Published: (1996)

Mathematical foundations of computer science 1995 : 20th international symposium, MFCS '95, Prague, Czech Republic, August 28-September 1, 1995 : proceedings /
Published: (1995)

Coloured Petri nets : basic concepts, analysis methods, and practical use /
by: Jensen, K. (Kurt), 1950-
Published: (1996)

Grid computing--GRID 2001 : second international workshop, Denver, CO, USA, November 12, 2001 : proceedings /
Published: (2001)

Application and theory of Petri Nets, 1996 : 17th International Conference, Osaka, Japan, June 24-28, 1996 : proceedings /
Published: (1996)

Neural networks : tricks of the trade /
Published: (1998)

Application and theory of Petri nets, 1995 : 16th International Conference, Turin, Italy, June 26-30, 1995 : proceedings /
Published: (1995)

Application and theory of petri nets, 1994 : 15th International Conference, Zaragoza, Spain, June 20-24, 1994 : proceedings /
Published: (1994)

SOFSEM 2001, theory and practice of informatics : 28th Conference on Current Trends in Theory and Practice of Informatics, Piešt̕any, Slovak Republic, November 24-December 1, 2001 : proceedings /
Published: (2001)

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

Net theory and applications : proceedings of the Advance Course on General Net Theory of Processes and Systems, Hamburg, October 8-19, 1979 /
Published: (1980)

Computability, complexity, and languages : fundamentals of theoretical computer science /
by: Davis, Martin, 1928-2023, et al.
Published: (1994)

Algorithm theory-- SWAT '96 : 5th Scandinavian Workshop on Algorithm Theory, Reykjavík, Iceland, July 3-5, 1996 : proceedings /
Published: (1996)

Jewels are forever : contributions on theoretical computer science in honor of Arto Salomaa /
Published: (1999)

Neural networks : tricks of the trade /
Published: (1998)

Adaptive processing of sequences and data structures : International Summer School on Neural Networks "E.R. Caianiello" Vietri sul Mare, Salerno, Italy, September 6-13 1997, tutorial lectures /
Published: (1998)

Grammatical inference and applications : second international colloquium, ICGI-94, Alicante, Spain, September 21-23, 1994 : proceedings /
Published: (1994)

Neural networks : a systematic introduction /
by: Rojas, Raúl, 1955-
Published: (1996)

Informatics : 10 years back, 10 years ahead /
Published: (2001)

Formal and natural computing : essays dedicated to Grzegorz Rozenberg /
Published: (2002)

Application and theory of Petri nets, 1992 : 13th international conference, Sheffield, UK, June 22-26, 1992 : proceedings /
Published: (1992)

Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, proceedings /
Published: (1990)

Active technologies for network and service management : 10th IFIP/IEEE International Workshop on Distributed Systems, Operations and Management, DSOM'99, Zurich, Switzerland, October 11-13, 1999 : proceedings /
Published: (1999)

Rough sets and current trends in computing : first international conference, RSCTC '98, Warsaw, Poland, June 22-26, 1998 : proceedings /
Published: (1998)

Analysis of dynamical and cognitive systems : advanced course, Stockholm, Sweden, August 9-14, 1993 : proceedings /
Published: (1995)

Networking in open systems : international seminar, Oberlech, Austria, August 18-22, 1986 : proceedings /
Published: (1987)

CONCUR '96 : concurrency theory : 7th International Conference, Pisa, Italy, August 26-29, 1996 : proceedings /
Published: (1996)