Lectures on formal methods and performance analysis : first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures /

Mã QR

Lectures on formal methods and performance analysis : first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures /

Đã lưu trong:

Chi tiết về thư mục
Tác giả của công ty:	EEF/Euro Summer School on Trends in Computer Science Berg en Dal, Netherlands)
Tác giả khác:	Brinksma, Ed., Hermanns, Holger, 1967-, Katoen, Joost-Pieter.
Định dạng:	Sách giấy
Được phát hành:	Berlin ; New York : Springer, c2001.
Loạt:	Lecture notes in computer science, 2090
Những chủ đề:	Formal methods (Computer science) > Congresses.
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Những quyển sách tương tự

Semigroups, algorithms, automata, and languages : Coimbra, Portugal, May-July 2001 /
Được phát hành: (2002)

Formal analysis of hybrid prefix/carry-select arithmetic systems /

Finiteness and regularity in semigroups and formal languages /
Bỡi: De Luca, A.
Được phát hành: (1999)

An introduction to formal languages and machine computation /
Bỡi: Yan, Song Y.
Được phát hành: (1998)

Proceedings of the workshop semigroups and languages
Được phát hành: (2004)

Formalization and theoretical analysis of the local effect model /
Bỡi: Beuve, M.

Algorithm engineering : 4th international workshop, WAE 2000, Saarbrucken, Germany, September 5-8, 2000 : proceedings /
Được phát hành: (2001)

An Introduction to Formal Languages and Automata (Photo) /
Bỡi: Linz Peter
Được phát hành: (1990)

Proceedings 2000 /
Được phát hành: (2000)

Natural language processing and information systems : 5th International Conference on Applications of Natural Language to Information Systems, NLDB 2000, Versailles, France, June 2000 : revised papers /
Được phát hành: (2001)

Mathematical software : proceedings of the first International Congress of Mathematical Software : Beijing, China, 17-19 August 2002 /
Được phát hành: (2002)

Convergence of formal morphisms of completions of complex spaces /
Bỡi: Izumi, Shuzo.

Algorithms and data structures : 7th International Workshop, WADS 2001, Providence, RI, USA, August 8-10, 2001 : proceedings /
Được phát hành: (2001)

Vector and parallel processing--VECPAR 2000 : 4th International Conference, Porto, Portugal, June 21-23, 2000 : selected papers and invited talks /
Được phát hành: (2001)

Engineering of intelligent systems : 14th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2001, Budapest, Hungary, June 4-7, 2001 : proceedings /
Được phát hành: (2001)

Noncommutative geometry : lectures given at the C.I.M.E. summer school held in Martina Franca, Italy, September 3-9, 2000 /
Được phát hành: (2004)

Statistical computer performance evaluation /
Được phát hành: (1972)

Tools for working with guidelines : annual meeting of the special interest group /
Được phát hành: (2000)

Foundations of software science and computation structures : 4th International Conference, FOSSACS 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings /
Được phát hành: (2001)

Foundations of software science and computation structures : 4th International Conference, FOSSACS 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings /
Được phát hành: (2001)

Proceedings of the Hong Kong International Workshop on Statistics and Finance : an interface : Centre of Financial Time Series, The University of Hong Kong, 4-8 July 1999 /
Được phát hành: (2000)

Proceedings of the Hong Kong International Workshop on Statistics and Finance : an interface : Centre of Financial Time Series, The University of Hong Kong, 4-8 July 1999 /
Được phát hành: (2000)

Analysis of the formal specification application for train control systems /
Bỡi: Jo, Hyun-Jeong.

Intelligent virtual agents : third international workshop, IVA 2001, Madrid, Spain, September 10-11, 2001 : proceedings /
Được phát hành: (2001)

Linear and nonlinear conjugate gradient-related methods /
Được phát hành: (1996)

Programs as data objects : Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001 : proceedings /
Được phát hành: (2001)

Advances in learning software organizations : third international workshop, LSO 2001, Kaiserslautern, Germany, September 12-13, 2001 : proceedings /
Được phát hành: (2001)

Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings /
Được phát hành: (2001)

Parallel computing technologies : 6th International Conference, PaCT 2001, Novosibirsk, Russia, September 3-7, 2001 : proceedings /
Được phát hành: (2001)

Computer science logic : 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings /
Được phát hành: (2001)

Algorithms-ESA 2001 : 9th annual European symposium, Aarhus, Denmark, August 28-31, 2001 : proceedings /
Được phát hành: (2001)

Algorithms-ESA 2001 : 9th annual European symposium, Aarhus, Denmark, August 28-31, 2001 : proceedings /
Được phát hành: (2001)

Low-dimensional systems : interactions and transport properties : lectures of a workshop held in Hamburg, Germany, July 27-28, 1999 /
Được phát hành: (2000)

Formal power series and algebraic combinatorics, 1994 : DIMACS workshop, May 23-27, 1994 = Séries formelles et combinatoire algébrique, 1994 /
Được phát hành: (1996)

Lecture notes on turbulence : lecture notes from the NCAR-GTP summer school, June 1987 /
Được phát hành: (1989)

Lecture notes on turbulence : lecture notes from the NCAR-GTP summer school, June 1987 /
Được phát hành: (1989)

Formal Groups: Lecture notes in mathematics/cA. Frohlich
Được phát hành: (1968)

Mathematical foundations of computer science 2001 : 26th international symposium, MFCS 2001, Marianske Lazne, Czech Republic, August 2001 : proceedings /
Được phát hành: (2001)

Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings /
Được phát hành: (2001)

Implementation and application of automata : 5th international conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000 : revised papers /
Được phát hành: (2001)