Formal methods in computer science

Application and theory of Petri nets 2002 : 23rd international conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002 : proceedings
Vydáno: (2002)

Applications and theory of Petri nets 2004 : 25th international conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004 : proceedings
Vydáno: (2004)

Application and theory of Petri nets 1994 : 15th international conference, Zaragoza, Spain, June 20-24, 1994 : proceedings
Vydáno: (1994)

Application and theory of Petri nets 1995 : 16th international conference, Turin, Italy, June 26-30, 1995 : proceedings
Vydáno: (1995)

Application and theory of Petri nets 1996 : 17th international conference, Osaka, Japan, June 24-28, 1996 : proceedings
Vydáno: (1996)

Application and theory of Petri nets 1997 : 18th international conference, ICATPN '97, Toulouse, France, June 23-27, 1997 : proceedings
Vydáno: (1997)

Application and theory of Petri nets 1998 : 19th international conference, ICATPN '98, Lisbon, Portugal, June 22-26, 1998 : proceedings
Vydáno: (1998)

Application and theory of Petri nets 1999 : 20th international conference, ICATPN'99 Williamsburg, Virginia, USA, June 21-25, 1999 : proceedings
Vydáno: (1999)

Application and theory of Petri nets 2000 : 21st international conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000 : proceedings
Vydáno: (2000)

Applications and theory of Petri nets 2001 : 22nd international conference, ICATPN 2001, Newcastle upon Tyne, UK, June 25-29, 2001 : proceedings
Vydáno: (2001)

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

Application and theory of Petri nets 1993 : 14th international conference, Chicago, Illinois, USA, June 21-25, 1993 : proceedings
Vydáno: (1993)

Applications and theory of Petri nets 2003 : 24th international conference, ICATPN 2003, Eindhoven, the Netherlands, June 23-27, 2003 : proceedings
Vydáno: (2003)

Applications and theory of Petri nets 2005 : 26th international conference, ICATPN 2005, Miami, USA, June 20-25, 2005 : proceedings
Vydáno: (2005)

A transition to proof : an introduction to advanced mathematics
Autor: Nicholson, Neil R.
Vydáno: (2019)

Úvod do matematiky v alternatívnej teórii množín
Autor: Vopěnka, Petr, 1935-2015
Vydáno: (1989)

Introduction to mathematical logic
Autor: Mendelson, Elliott, 1931-
Vydáno: (2015)

Metamatematika teorií množin
Autor: Sochor, Antonín, 1942-2008
Vydáno: (2005)

Analysis of structural properties of Petri nets based on product incidence matrix
Autor: Ji, Guangyou

Set theory : a first course
Autor: Cunningham, Daniel W.
Vydáno: (2016)

Topoi : the categorial analysis of logic
Autor: Goldblatt, Robert, 1949-
Vydáno: (2006)

Toposy : kategornyj analiz logiki
Autor: Goldblatt, Robert, 1949-
Vydáno: (1983)

Reading, writing, and proving : a closer look at mathematics
Autor: Daepp, Ulrich, 1948-
Vydáno: (2011)

Essential discrete mathematics for computer science
Autor: Lewis, Harry R., 1947-
Vydáno: (2019)

Mathematical logic : a course with exercises.
Autor: Cori, René
Vydáno: (2001)

Introduction to mathematical structures and proofs
Autor: Gerstein, Larry J.
Vydáno: (1996)

A first course in network science
Autor: Menczer, Filippo, 1965-
Vydáno: (2020)

Teorie množin
Autor: Balcar, Bohuslav, 1943 květen 20.-
Vydáno: (1986)

Teória množín
Autor: Šalát, Tibor, 1926-2005
Vydáno: (1986)

Mengenlehre
Autor: Hausdorff, Felix, 1868-1942
Vydáno: (1935)

Teorie množin
Autor: Balcar, Bohuslav, 1943 květen 20.-
Vydáno: (2001)

A bridge to higher mathematics
Autor: Deaconu, Valentin
Vydáno: (2017)

Matematika I : 1. Úvod do matematické logiky a teorie množin
Autor: Tryhuk, Václav, 1949-
Vydáno: (1994)

Discrete mathematics for computer science : or (a bit of) the math that computer scientists need to know
Autor: Liben-Nowell, David
Vydáno: (2018)

Naive set theory
Autor: Halmos, Paul R. (Paul Richard), 1916-2006
Vydáno: (1960)

Classical descriptive set theory
Autor: Kechris, A. S., 1946-
Vydáno: (1995)