• Wyszukiwanie zaawansowane
  • Kategorie
  • Kategorie BISAC
  • Książki na zamówienie
  • Promocje
  • Granty
  • Książka na prezent
  • Opinie
  • Pomoc
  • Załóż konto
  • Zaloguj się

Alexander Romanovsky » książki

zaloguj się | załóż konto
Logo Krainaksiazek.pl

koszyk

konto

szukaj
topmenu
Księgarnia internetowa
Szukaj
Książki na zamówienie
Promocje
Granty
Książka na prezent
Moje konto
Pomoc
 
 
Wyszukiwanie zaawansowane
Pusty koszyk
Bezpłatna dostawa dla zamówień powyżej 20 złBezpłatna dostawa dla zamówień powyżej 20 zł

Kategorie główne

• Nauka
 [2949965]
• Literatura piękna
 [1857847]

  więcej...
• Turystyka
 [70818]
• Informatyka
 [151303]
• Komiksy
 [35733]
• Encyklopedie
 [23180]
• Dziecięca
 [617748]
• Hobby
 [139972]
• AudioBooki
 [1650]
• Literatura faktu
 [228361]
• Muzyka CD
 [398]
• Słowniki
 [2862]
• Inne
 [444732]
• Kalendarze
 [1620]
• Podręczniki
 [167233]
• Poradniki
 [482388]
• Religia
 [509867]
• Czasopisma
 [533]
• Sport
 [61361]
• Sztuka
 [243125]
• CD, DVD, Video
 [3451]
• Technologie
 [219309]
• Zdrowie
 [101347]
• Książkowe Klimaty
 [123]
• Zabawki
 [2362]
• Puzzle, gry
 [3791]
• Literatura w języku ukraińskim
 [253]
• Art. papiernicze i szkolne
 [7933]
Kategorie szczegółowe BISAC

Wyniki wyszukiwania:

wyszukanych pozycji: 14

Dostępność:
Kategoria:
Dostępny język:
Cena:
od:
do:
ilość na stronie:


 Software Engineering for Resilient Systems: 9th International Workshop, Serene 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings Romanovsky, Alexander 9783319659473
Software Engineering for Resilient Systems: 9th International Workshop, Serene 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings

ISBN: 9783319659473 / Angielski / Miękka / 2017 / 201 str.

ISBN: 9783319659473/Angielski/Miękka/2017/201 str.

Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami)
Alexander Romanovsky; Elena A. Troubitsyna
This book constitutes the refereed proceedings of the International Workshop on Software Engineering for Resilient Systems, SERENE 2017, held in Geneva; Switzerland, in September 2017.
The 11 papers presented together with 2 invited talks were carefully reviewed and selected from 16 submissions. They cover the following areas: modeling and specification; safety and security; fault tolerance, resilience and robustness software.


This book constitutes the refereed proceedings of the International Workshop on Software Engineering for Resilient Systems, SERENE 2017, held in Genev...
cena: 201,72

 Reliable Software Technologies - Ada-Europe 2011: 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, Uk, June 20-2 Romanovsky, Alexander 9783642213373
Reliable Software Technologies - Ada-Europe 2011: 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, Uk, June 20-2

ISBN: 9783642213373 / Angielski / Miękka / 2011 / 227 str.

ISBN: 9783642213373/Angielski/Miękka/2011/227 str.

Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami)
Alexander Romanovsky; Tullio Vardanega
This book constitutes the refereed proceedings of the 16th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2011, held in Edinburgh, UK, on June 20-24, 2011. The revised 12 papers presented together with several invited contributions were carefully reviewed and selected from 30 submissions. Topics of interest to the conference are methods and techniques for software development and maintenance; software architectures; enabling technologies; software quality; theory and practice of high-integrity systems; embedded systems; mainstream and emerging applications;...
This book constitutes the refereed proceedings of the 16th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2011, hel...
cena: 201,72

 Computer Safety, Reliability, and Security: 38th International Conference, Safecomp 2019, Turku, Finland, September 11-13, 2019, Proceedings Romanovsky, Alexander 9783030266004
Computer Safety, Reliability, and Security: 38th International Conference, Safecomp 2019, Turku, Finland, September 11-13, 2019, Proceedings

ISBN: 9783030266004 / Angielski / Miękka / 2019 / 316 str.

ISBN: 9783030266004/Angielski/Miękka/2019/316 str.

Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami)
Alexander Romanovsky; Elena Troubitsyna; Friedemann Bitsch
cena: 234,00

 Computer Safety, Reliability, and Security: Safecomp 2019 Workshops, Assure, Decsos, Sassur, Strive, and Waise, Turku, Finland, September 10, 2019, Pr Romanovsky, Alexander 9783030262495
Computer Safety, Reliability, and Security: Safecomp 2019 Workshops, Assure, Decsos, Sassur, Strive, and Waise, Turku, Finland, September 10, 2019, Pr

ISBN: 9783030262495 / Angielski / Miękka / 2019 / 412 str.

ISBN: 9783030262495/Angielski/Miękka/2019/412 str.

Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami)
Alexander Romanovsky; Elena Troubitsyna; Ilir Gashi
cena: 266,28

 Industrial Deployment of System Engineering Methods Alexander Romanovsky Martyn Thomas 9783642430640
Industrial Deployment of System Engineering Methods

ISBN: 9783642430640 / Angielski / Miękka / 2015 / 262 str.

ISBN: 9783642430640/Angielski/Miękka/2015/262 str.

Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami)
Alexander Romanovsky; Martyn Thomas
A formal method is not the main engine of a development process, its contribution is to improve system dependability by motivating formalisation where useful. This book summarizes the results of the DEPLOY research project on engineering methods for dependable systems through the industrial deployment of formal methods in software development. The applications considered were in automotive, aerospace, railway, and enterprise information systems, and microprocessor design. The project introduced a formal method, Event-B, into several industrial organisations and built on the lessons learned to...
A formal method is not the main engine of a development process, its contribution is to improve system dependability by motivating formalisation where...
cena: 201,72

 Industrial Deployment of System Engineering Methods Alexander Romanovsky Martyn Thomas 9783642331695
Industrial Deployment of System Engineering Methods

ISBN: 9783642331695 / Angielski / Twarda / 2013 / 262 str.

ISBN: 9783642331695/Angielski/Twarda/2013/262 str.

Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami)
Alexander Romanovsky; Martyn Thomas
A formal method is not the main engine of a development process, its contribution is to improve system dependability by motivating formalisation where useful. This book summarizes the results of the DEPLOY research project on engineering methods for dependable systems through the industrial deployment of formal methods in software development. The applications considered were in automotive, aerospace, railway, and enterprise information systems, and microprocessor design. The project introduced a formal method, Event-B, into several industrial organisations and built on the lessons learned to...
A formal method is not the main engine of a development process, its contribution is to improve system dependability by motivating formalisation where...
cena: 201,72

 Trustworthy Cyber-Physical Systems Engineering Alexander Romanovsky Fuyuki Ishikawa 9780367574420
Trustworthy Cyber-Physical Systems Engineering

ISBN: 9780367574420 / Angielski / Miękka / 2020 / 482 str.

ISBN: 9780367574420/Angielski/Miękka/2020/482 str.

Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami)
Alexander Romanovsky; Fuyuki Ishikawa
cena: 219,00

 Trustworthy Cyber-Physical Systems Engineering Alexander Romanovsky Fuyuki Ishikawa 9781498742450
Trustworthy Cyber-Physical Systems Engineering

ISBN: 9781498742450 / Angielski / Twarda / 2016 / 462 str.

ISBN: 9781498742450/Angielski/Twarda/2016/462 str.

Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami)
Alexander Romanovsky; Fuyuki Ishikawa

From the Foreword

"Getting CPS dependability right is essential to forming a solid foundation for a world that increasingly depends on such systems. This book represents the cutting edge of what we know about rigorous ways to ensure that our CPS designs are trustworthy. I recommend it to anyone who wants to get a deep look at these concepts that will form a cornerstone for future CPS designs."

--Phil Koopman, Carnegie Mellon University, Pittsburgh, Pennsylvania, USA

Trustworthy Cyber-Physical Systems Engineering...

From the Foreword

"Getting CPS dependability right is essential to forming a solid foundation for a world that i...

cena: 511,12

 Concurrency in Dependable Computing Paul Ezhilchelvan Alexander Romanovsky 9781441952783
Concurrency in Dependable Computing

ISBN: 9781441952783 / Angielski / Miękka / 2010 / 332 str.

ISBN: 9781441952783/Angielski/Miękka/2010/332 str.

Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami)
Paul Ezhilchelvan; Alexander Romanovsky
Concurrency in Dependable Computing focuses on concurrency related issues in the area of dependable computing. Failures of system components, be hardware units or software modules, can be viewed as undesirable events occurring concurrently with a set of normal system events. Achieving dependability therefore is closely related to, and also benefits from, concurrency theory and formalisms. This beneficial relationship appears to manifest into three strands of work.
Application level structuring of concurrent activities. Concepts such as atomic actions, conversations, exception...
Concurrency in Dependable Computing focuses on concurrency related issues in the area of dependable computing. Failures of system components,...
cena: 605,23

 Architecting Dependable Systems II Rogério de Lemos, Cristina Gacek, Alexander Romanovsky 9783540231684
Architecting Dependable Systems II

ISBN: 9783540231684 / Angielski / Miękka / 2004 / 350 str.

ISBN: 9783540231684/Angielski/Miękka/2004/350 str.

Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami)
Rogério de Lemos;Cristina Gacek;Alexander Romanovsky

As software systems become ubiquitous, the issues of dependability become more and more critical. Given that solutions to these issues must be taken into account from the very beginning of the design process, it is appropriate that dependability is addressed at the architectural level.

This book results from an effort to bring together the research communities of software architectures and dependability. Inspired by the ICSE 2003 Workshop on Software Architectures for Dependable Systems, the book focuses on topics relevant to improving the state of the art in architecting...

As software systems become ubiquitous, the issues of dependability become more and more critical. Given that solutions to these issues must be take...

cena: 201,72

 Architecting Dependable Systems Rogério de Lemos, Cristina Gacek, Alexander Romanovsky 9783540407270
Architecting Dependable Systems

ISBN: 9783540407270 / Angielski / Miękka / 2003 / 311 str.

ISBN: 9783540407270/Angielski/Miękka/2003/311 str.

Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami)
Rogério de Lemos;Cristina Gacek;Alexander Romanovsky

As software systems become more and more ubiquitous, the issues of dependability become more and more critical. Given that solutions to these issues must be planned at the beginning of the design process, it is appropriate that these issues be addressed at the architectural level.

This book is inspired by the ICSE 2002 Workshop on Architecting Dependable Systems; it is devoted to current topics relevant for improving the state of the art for architecting dependability. Some of the 13 peer-reviewed papers presented were initially presented at the workshop, others were invited in...

As software systems become more and more ubiquitous, the issues of dependability become more and more critical. Given that solutions to these issue...

cena: 201,72

 Advanced Topics in Exception Handling Techniques Christophe Dony Jorgen Lindskov Knudsen Alexander Romanovsky 9783540374435
Advanced Topics in Exception Handling Techniques

ISBN: 9783540374435 / Angielski / Miękka / 2006 / 316 str.

ISBN: 9783540374435/Angielski/Miękka/2006/316 str.

Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami)
Christophe Dony; Jorgen Lindskov Knudsen; Alexander Romanovsky

Modern software systems are becoming more complex in many ways and are having to cope with a growing number of abnormal situations which, in turn, are increasingly complex to handle. Exception handling is an essential part of software and system architectures and a crucial element in the tool-set that enables the building of resilient, robust and safe software systems. Two ECOOP workshops on exception handling were held in 2003 and 2005. This book is primarily an outcome of these two events - several workshop participants as well as a number of other leading researchers in the field were...

Modern software systems are becoming more complex in many ways and are having to cope with a growing number of abnormal situations which, in turn, ...

cena: 201,72

 Concurrency in Dependable Computing Paul Ezhilchelvan Alexander Romanovsky Paul Ezhilchelvan 9781402070433
Concurrency in Dependable Computing

ISBN: 9781402070433 / Angielski / Twarda / 2002 / 310 str.

ISBN: 9781402070433/Angielski/Twarda/2002/310 str.

Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami)
Paul Ezhilchelvan; Alexander Romanovsky; Paul Ezhilchelvan
Concurrency in Dependable Computing focuses on concurrency related issues in the area of dependable computing. Failures of system components, be hardware units or software modules, can be viewed as undesirable events occurring concurrently with a set of normal system events. Achieving dependability therefore is closely related to, and also benefits from, concurrency theory and formalisms. This beneficial relationship appears to manifest into three strands of work.
Application level structuring of concurrent activities. Concepts such as atomic actions, conversations, exception...
Concurrency in Dependable Computing focuses on concurrency related issues in the area of dependable computing. Failures of system components,...
cena: 605,23

 Advances in Exception Handling Techniques Alexander Romanovsky, Christophe Dony, Jorgen Lindskov Knudsen, Anand Tripathi 9783540419525
Advances in Exception Handling Techniques

ISBN: 9783540419525 / Angielski / Miękka / 2001 / 292 str.

ISBN: 9783540419525/Angielski/Miękka/2001/292 str.

Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami)
Alexander Romanovsky;Christophe Dony;Jorgen Lindskov Knudsen
Modern software systems are becoming more complex in many ways and have to cope with a growing number of abnormal situations which, in turn, are increasingly complex to handle. The most general way of dealing with these problems is by incorporating exception handling techniques in software design. In the past, various exception handling models and techniques have been proposed and many of them are part of practical languages and software composition technologies.
This book is composed of five parts, which deal with topics related to exception handling in the context of programming language...
Modern software systems are becoming more complex in many ways and have to cope with a growing number of abnormal situations which, in turn, are incre...
cena: 201,72


Facebook - konto krainaksiazek.pl



Opinie o Krainaksiazek.pl na Opineo.pl

Partner Mybenefit

Krainaksiazek.pl w programie rzetelna firma Krainaksiaze.pl - płatności przez paypal

Czytaj nas na:

Facebook - krainaksiazek.pl
  • książki na zamówienie
  • granty
  • książka na prezent
  • kontakt
  • pomoc
  • opinie
  • regulamin
  • polityka prywatności

Zobacz:

  • Księgarnia czeska

  • Wydawnictwo Książkowe Klimaty

1997-2025 DolnySlask.com Agencja Internetowa

© 1997-2022 krainaksiazek.pl
     
KONTAKT | REGULAMIN | POLITYKA PRYWATNOŚCI | USTAWIENIA PRYWATNOŚCI
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
Polityka prywatnosci - link
Krainaksiazek.pl - płatnośc Przelewy24
Przechowalnia Przechowalnia