Výsledky vyhledávání

Obálka

Úvod do teoretické informatiky

Autor Koubková, Alena, 1954- Vydáno: 2003

Kniha

Obálka

Tools and algorithms for the construction and analysis of systems : Second international workshop, TACAS '96, Passau, Germany, March 27-29, 1996. Proceedings

Vydáno: 1996

Kniha

Obálka

Mathematical foundations of computer science 2001 : 26th international symposium, MFCS 2001, Mariánské Lázně, Czech Republic, August 27-31, 2001 : proceedings

Vydáno: 2001

Kniha

Obálka

New computational paradigms : first Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005 : proceedings

Vydáno: 2005

Získat plný text

Kniha

Obálka

Mathematical problem solving and new information technologies : research in contexts of practice. Proceedings of the NATO advanced research workshop on Advances in Mathematical Pro...

Vydáno: 1992

Kniha

Obálka

Logical approaches to computational barriers : second Conference on Computability in Europe, CIE 2006, Swansea, UK, June 30-July 5, 2006 : proceedings

Vydáno: 2006

Plný text

Kniha

Obálka

Numerical methods for differential equations : a computational approach

Autor Dormand, John R. Vydáno: 1996

Kniha

Obálka

Formal methods for the design of real-time systems : International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004, Bertinoro,...

Vydáno: 2004

Kniha

Obálka

Computational science and engineering

Autor Strang, Gilbert, 1934- Vydáno: 2007

Kniha