• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Of all publications in the section: 9
Sort:
by name
by year
Book
Толстова Ю. Н. М.: Научный мир, 2000.
Added: Jul 1, 2009
Book
Набебин А. А. М.: Научный мир, 2010.
Added: May 28, 2012
Book
Плюснин Ю. М. М.: Научный мир, 2013.

 

The book is a kind of information and methodological handbook on environmental and climate issues. It consists two parts. The first section provides information about the weather and out-climate change. They guide the reader to the problem of the influence climate change on our lives. The second section is special, a step-by-step description of observations of the weather, facilitating the make any human layman, do not apply tools and materials, by-hand registering processes of annual calendar cycle ("people's home» climate monitoring). The book is intended for all those interested in environmental issues and in their daily life is closely related to the nature and can constantly to observe natural phenomena. Methodical guide can be used in education, as well as on the issue of human impact on nature.

Added: Feb 18, 2013
Book
Крапивский П. Л., Реднер С., Бен-Наим Э. М.: Научный мир, 2012.
Added: Feb 12, 2013
Book
Набебин А. А. М.: Научный мир, 2008.
Added: Dec 17, 2011
Book
Ярославцев А. Б. Вып. . Изд. 4-е, испр. и доп. . М.: Научный мир, 2018.
Added: Jan 10, 2019
Book
Набебин А. А. М.: Научный мир, 2009.
Added: May 28, 2012
Book
Башкин В. А., Ломазова И. А. М.: Научный мир, 2008.

Resources are defined as submultisets of Petri net markings. Two resources are called similar if replacing one of them by another in any marking doesn't change the Petri net's behavior (modulo bisimulation). The book presents a set of equality relations induced by resource similarity and some algorithms finding similar resources in ordinary Petri nets and other formal models: nets with silent moves, high-level and nested Petri nets. The book is designed for scientists, professors and post-graduate students interested in formal models of concurrent and distributed systems.

Added: Mar 13, 2010