Wyniki wyszukiwania:
wyszukanych pozycji: 8
 |
Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12
ISBN: 9783642103728 / Angielski / Miękka / 2009 / 758 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Formal methods for development of computer systems have been extensively studied over the years. A range of semantic theories, speci?cation languages, design techniques, and veri?cation methods and tools have been developed and applied to the construction of programs used in critical applications. The ch- lenge now is to scale up formal methods and integrate them into engineering - velopment processes for the correct and e?cient construction and maintenance of computer systems in general. This requires us to improve the state of the art on approaches and techniques for integration of formal...
Formal methods for development of computer systems have been extensively studied over the years. A range of semantic theories, speci?cation languages,...
|
cena:
391,77 zł |
 |
Conversations Around Semiotic Engineering
ISBN: 9783319562902 / Angielski / Twarda / 2017 / 113 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Demonstrating the influence of Semiotic Engineering in Human-Computer Interaction, this book focuses on the work of one of the pioneers of the field - Clarisse de Souza - and her influence on this broad and wide-ranging area of research. It contains a selection of essays written by those that have worked with her over the years and will encourage readers to extend their reading and research in this area. Clarisse de Souza, widely known as the founder of Semiotic Engineering, will reach her 60th birthday in 2017, and the Semiotic Engineering Research Group that she founded... Demonstrating the influence of Semiotic Engineering in Human-Computer Interaction, this book focuses on the work of one of the pioneers of the fiel... |
cena:
391,77 zł |
 |
Conversations Around Semiotic Engineering
ISBN: 9783319858784 / Angielski / Miękka / 2018 / 113 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
391,77 zł |
 |
Semantic Web: Concepts, Technologies and Applications
ISBN: 9781846285813 / Angielski / Twarda / 2007 / 327 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Although the Web is growing at an astounding pace, surpassing the 8 billion page mark, most pages are still designed for human consumption and cannot be processed by machines. Computers are used to display the information, but human intervention is still required to interpret the results. The Semantic Web unleashes a revolution of new possibilities in which content is given formal, machine processable semantics. This book provides a well-paced introduction to the Semantic Web. It covers a wide range of topics, from new trends (ontologies, rules) to existing technologies (Web... Although the Web is growing at an astounding pace, surpassing the 8 billion page mark, most pages are still designed for human consumption and cann... |
cena:
195,87 zł |
 |
Semantic Web: Concepts, Technologies and Applications
ISBN: 9781849966214 / Angielski / Miękka / 2010 / 327 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Although the Web is growing at an astounding pace, surpassing the 8 billion page mark, most pages are still designed for human consumption and cannot be processed by machines. Computers are used to display the information, but human intervention is still required to interpret the results. The Semantic Web unleashes a revolution of new possibilities in which content is given formal, machine processable semantics. This book provides a well-paced introduction to the Semantic Web. It covers a wide range of topics, from new trends (ontologies, rules) to existing technologies (Web... Although the Web is growing at an astounding pace, surpassing the 8 billion page mark, most pages are still designed for human consumption and cann... |
cena:
195,87 zł |
 |
Patterns, Programming and Everything
ISBN: 9781447123491 / Angielski / Twarda / 2012 / 176 str. Termin realizacji zamówienia: ok. 20 dni roboczych. With 11 invited submissions from leading researchers and teams of researchers sharing one common characteristic ? all have worked with Dr. Judith Bishop during her long and continuing career as a leader in computer science education and research ? this book reflects on Dr Bishop's outstandingcontribution to computer science. Havingworked at three different universities she now holds a leadership position in the research division of a major software company. The topics covered reflect some of the transitions in her career. The dominant theme is programming languages, with chapters on... With 11 invited submissions from leading researchers and teams of researchers sharing one common characteristic ? all have worked with Dr. Judith B... |
cena:
391,77 zł |
 |
Patterns, Programming and Everything
ISBN: 9781447160212 / Angielski / Miękka / 2014 / 176 str. Termin realizacji zamówienia: ok. 20 dni roboczych. With 11 invited submissions from leading researchers and teams of researchers sharing one common characteristic ? all have worked with Dr. Judith Bishop during her long and continuing career as a leader in computer science education and research ? this book reflects on Dr Bishop's outstanding contribution to computer science. Having worked at three different universities she now holds a leadership position in the research division of a major software company. The topics covered reflect some of the transitions in her career. The dominant theme is programming languages, with chapters... With 11 invited submissions from leading researchers and teams of researchers sharing one common characteristic ? all have worked with Dr. Judith B... |
cena:
391,77 zł |
 |
Video Processing in the Cloud
ISBN: 9781447121367 / Angielski / Miękka / 2011 / 68 str. Termin realizacji zamówienia: ok. 20 dni roboczych. As computer systems evolve, the volume of data to be processed increases significantly, either as a consequence of the expanding amount of available information, or due to the possibility of performing highly complex operations that were not feasible in the past. Nevertheless, tasks that depend on the manipulation of large amounts of information are still performed at large computational cost, i.e., either the processing time will be large, or they will require intensive use of computer resources. In this scenario, the efficient use of available computational resources is paramount, and...
As computer systems evolve, the volume of data to be processed increases significantly, either as a consequence of the expanding amount of available i...
|
cena:
195,87 zł |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
