Výsledky vyhledávání - "software"

Obálka

Algebraic methodology and software technology : 6th international conference, AMAST '97, Sydney, Australia, December 13-17, 1997. Proceedings

Vydáno: 1997

Kniha

Obálka

Numerical software - needs and availability : proceedings of the Conference on Applications...

Vydáno: 1978

Kniha

Obálka

Performance evaluation of numerical software : proceedings of the IFIP TC 2.5 working conference on performance evaluation of numerical software

Vydáno: 1979

Kniha

Obálka

Mathematical Software - ICMS 2006 : Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006. Proceedings

Vydáno: 2006

Plný text

E-kniha

Obálka

Mathematical software - ICMS 2010 : third international congress on mathematical software, Kobe, Japan, September 13-17, 2010 : proceedings

Vydáno: 2010

Plný text

E-kniha

Obálka

Mathematical software - ICMS 2014 : 4th international congress, Seoul, South Korea, August 5-9, 2014 : proceedings

Vydáno: 2014

Plný text

E-kniha

Obálka

Foundations of software technology and theoretical computer science : 15th conference, Bangalore, India, December 18-20, 1995. Proceedings

Vydáno: 1995

Kniha

Obálka

ZUM'95 : The Z formal specification notation. 9th international conference of Z Users Limerick, Ireland, September 7-9, 1995. Proceedings

Vydáno: 1995

Kniha

Obálka

ZUM '97: the Z formal specification notation : 10th international conference of Z Users, Reading, UK, April 3-4, 1997. Proceedings

Vydáno: 1997

Kniha

Obálka

ZUM '98 : The Z formal specification notation. 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings

Vydáno: 1998

Kniha

Obálka

MATLAB 2004 : Kongresové centrum ČVUT, Praha 4. 11. 2004

Vydáno: 2004

Kniha

Obálka

Introduction to MATLAB for engineers

Autor Palm, William J. (William John), 1944- Vydáno: 1998

Kniha

Obálka

Performance evaluation : origins and directions

Vydáno: 2000

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, Italy, September 13-18...

Vydáno: 2004

Kniha

Obálka

Types for proofs and programs : International workshop, TYPES '95, Torino, Italy, June 5-8, 1995 : selected papers

Vydáno: 1996

Kniha

Obálka

Types for proofs and programs : international Workshop TYPES '96, Aussois, France, December 15-19, 1996. Selected papers

Vydáno: 1998

Kniha

Obálka

Types for proofs and programs : International workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998. Selected papers

Vydáno: 1999

Kniha

Obálka

MATLAB handbook

Vydáno: 1996

Kniha

Obálka

The finite element method : basic concepts and applications with MATLAB, MAPLE, and COMSOL

Autor Pepper, Darrell W., 1946- Vydáno: 2017

Kniha

Obálka

MATLAB : a practical introduction to programming and problem solving

Autor Attaway, Stormy Vydáno: 2023

Kniha

1
2
3
4
5
6
Další »
[6]