Karin breitman (21 Ergebnisse)

Zustand: Very Good. 2007th Edition. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.…

Zustand: New. In English.

Zustand: New. In English.

Paperback. Zustand: Brand New. 73 pages. 9.25x6.10x0.17 inches. In Stock.

Zustand: New. In English.

Taschenbuch. Zustand: Neu. Semantic Web: Concepts, Technologies and Applications | Karin Breitman (u. a.) | Taschenbuch | NASA Monographs in Systems and Software Engineering | xiv | Englisch | 2010 | Springer | EAN 9781849966214 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | 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 creates a demand for systems that can optimize the use of resources in relation to the amount of data to be processed. This problem becomes increasingly critical when the volume of information to be processed is variable, i.e., there is a seasonal variation of demand. Such demand variations are caused by a variety of factors, such as an unanticipated burst of client requests, a time-critical simulation,or high volumes of simultaneous video uploads, e.g. as a consequence of a public contest. In these cases, there are moments when the demand is very low (resources are almost idle) while, conversely, at other moments, the processing demand exceeds the resources capacity. Moreover, from an economical perspective, seasonal demands do not justify a massive investment in infrastructure, just to provide enough computing power for peak situations. In this light, the ability to build adaptive systems, capable of using on demand resources provided by Cloud Computing infrastructures is very attractive.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 on object oriented programming, real-time programming, component programming and design patterns. Another major and related topic is compilers, with contributions on dataflow analysis, tree rewriting and keyword recognition. Finally, there are some additional chapters on other varied but highly interesting topics including smart homes, mobile systems and teaching computer science.…

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 will also celebrate its 20th anniversary.A key figure in HCI, Clarisse argued that human-computer interaction enables computer-mediated communication between the designer and the user at the point of interaction thus enabling and facilitating designers in understanding who their users are, and what their requirements may be.This book brings together prominent researchers who have helped to shape semiotic engineering by their insightful discussions on the theory.…

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 on object oriented programming, real-time programming, component programming and design patterns. Another major and related topic is compilers, with contributions on dataflow analysis, tree rewriting and keyword recognition. Finally, there are some additional chapters on other varied but highly interesting topics including smart homes, mobile systems and teaching computer science.…

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 344 | Sprache: Englisch | Produktart: Bücher | 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 Services and software agents) to more formal aspects (logic and inference). It includes: real-world (and complete) examples of the application of Semantic Web concepts; how the technology presented and discussed throughout the book can be extended to other application areas, i.e. Geographic Information Sciences, Bioinformatics and Fine Arts.…

Paperback. Zustand: Brand New. 2012 edition. 176 pages. 9.25x6.10x0.45 inches. In Stock.

Hardcover. Zustand: Brand New. 2012 edition. 187 pages. 9.25x6.25x0.50 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 methods into industrial engineering practice, including new and emerging practice. The now long-established series of International Conferences on Formal - gineering Methods brings together those interested in the application of formal engineering methods to computer systems. Researchers and practitioners, from industry, academia, and government, are encouraged to attend and to help - vance the state of the art. This volume contains the papers presented at ICFEM 2009, the 11th International Conference on Formal Engineering Methods, held during December 9-11, in Rio de Janeiro, Brazil.…

Taschenbuch. Zustand: Neu. Patterns, Programming and Everything | Karin K. Breitman (u. a.) | Taschenbuch | xii | Englisch | 2014 | Springer | EAN 9781447160212 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Formal Methods and Software Engineering | 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings | Karin Breitman (u. a.) | Taschenbuch | xiv | Englisch | 2009 | Springer | EAN 9783642103728 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Zustand: gut. 2012. Patterns, Programming and Everything. In englischer Sprache. pages.

gebundene Ausgabe. OPp. Zustand: Sehr gut. 1., neue Ausg. 300 S. : 20 schw.-w. Ill., 20 schw.-w. Tab. engl. sehr gut erh. ISBN: 9781447123491 Sprache: Deutsch Gewicht in Gramm: 510.