topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 6
 |
Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems
ISBN: 9781852338954 / Angielski / Twarda / 2005 / 422 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Intheworldweliveinconcurrencyisthenorm.Forexample, thehumanbody isamassivelyconcurrentsystem, comprisingahugenumberofcells, allsim- taneously evolving and independently engaging in their individual biological processing.Inaddition, inthebiologicalworld, trulysequentialsystemsrarely arise. However, they are more common when manmade artefacts are cons- ered. In particular, computer systems are often developed from a sequential perspective. Why is this? The simple reason is that it is easier for us to think about sequential, rather than concurrent, systems. Thus, we use sequentiality as a device...
Intheworldweliveinconcurrencyisthenorm.Forexample, thehumanbody isamassivelyconcurrentsystem, comprisingahugenumberofcells, allsim- taneously evolving...
|
cena:
587,67 zł |
 |
Formal Methods for Open Object-Based Distributed Systems: Volume 2
ISBN: 9780412820403 / Angielski / Twarda / 1997 / 470 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book presents the leading edge in several related fields, specifically object orientated programming, open distributed systems and formal methods for object oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the subject. Many topics are discussed, including the following important areas: object oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; formalisation of object oriented methods.
This book presents the leading edge in several related fields, specifically object orientated programming, open distributed systems and formal methods...
|
cena:
783,57 zł |
 |
Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems
ISBN: 9781849969512 / Angielski / Miękka / 2010 / 422 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Intheworldweliveinconcurrencyisthenorm.Forexample, thehumanbody isamassivelyconcurrentsystem, comprisingahugenumberofcells, allsim- taneously evolving and independently engaging in their individual biological processing.Inaddition, inthebiologicalworld, trulysequentialsystemsrarely arise. However, they are more common when manmade artefacts are cons- ered. In particular, computer systems are often developed from a sequential perspective. Why is this? The simple reason is that it is easier for us to think about sequential, rather than concurrent, systems. Thus, we use sequentiality as a device...
Intheworldweliveinconcurrencyisthenorm.Forexample, thehumanbody isamassivelyconcurrentsystem, comprisingahugenumberofcells, allsim- taneously evolving...
|
cena:
587,67 zł |
 |
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
ISBN: 9780521771849 / Angielski / Twarda / 2001 / 492 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This important resource presents the current state of the art in the application of formal methods to object based distributed systems. A major theme is how to formally handle the new requirements arising from OO distributed systems. The major specification notations and modeling techniques are introduced and compared by leading researchers, in several cases, the inventors of the notations. The book also describes approaches to the specification of nonfunctional requirements, needed typically in the specification of multimedia systems and security issues. Professionals in software design,...
This important resource presents the current state of the art in the application of formal methods to object based distributed systems. A major theme ...
|
cena:
678,63 zł |
 |
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
ISBN: 9780521168755 / Angielski / Miękka / 2011 / 492 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych (Dostawa przed świętami) This important resource presents the current state of the art in the application of formal methods to object based distributed systems. A major theme is how to formally handle the new requirements arising from OO distributed systems. The major specification notations and modeling techniques are introduced and compared by leading researchers, in several cases, the inventors of the notations. The book also describes approaches to the specification of nonfunctional requirements, needed typically in the specification of multimedia systems and security issues. Professionals in software design,...
This important resource presents the current state of the art in the application of formal methods to object based distributed systems. A major theme ...
|
cena:
328,21 zł |
 |
Connectionist Models of Cognition and Perception II - Proceedings of the Eighth Neural Computation and Psychology Workshop
ISBN: 9789812388056 / Angielski / Twarda / 2004 / 320 str. Termin realizacji zamówienia: ok. 22 dni roboczych. This book collects together refereed versions of papers presented at the Eighth Neural Computation and Psychology Workshop (NCPW 8). NCPW is a well-established workshop series that brings together researchers from different disciplines, such as artificial intelligence, cognitive science, computer science, neurobiology, philosophy and psychology. The articles are centred on the theme of connectionist modelling of cognition, perception and emotion.
This book collects together refereed versions of papers presented at the Eighth Neural Computation and Psychology Workshop (NCPW 8). NCPW is a well-es...
|
cena:
762,24 zł |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
