taha walid (34 Ergebnisse)

Zustand: Good. 229 pp., Paperback, ex library, else text clean and binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.

Zustand: Like New. Most items will be dispatched the same or the next working day. An apparently unread copy in perfect condition. Dust cover is intact with no nicks or tears. Spine has no signs of creasing. Pages are clean and not marred by notes or folds of any kind.

X, 218 p. Softcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Lecture Notes in Computer Science, Vol. 2196. Sprache: Englisch.

Paperback. Zustand: Brand New. 158 pages. 9.00x6.25x0.50 inches. In Stock.

Paperback. Zustand: Brand New. revised edition. 244 pages. 9.25x6.10x0.94 inches. In Stock.

Paperback. Zustand: Brand New. revised edition. 300 pages. 9.25x6.10x0.63 inches. In Stock.

Zustand: New.

Zustand: New.

Zustand: New.

Kartoniert / Broschiert. Zustand: New.

Zustand: New. 2020. Paperback. . . . . . Books ship from the US and Ireland.

Hardcover. Zustand: Brand New. 212 pages. 10.00x7.01x0.71 inches. In Stock.

Paperback. Zustand: Brand New. 228 pages. 9.25x6.10x0.52 inches. In Stock.

Softcover. Zustand: Gut. Gebraucht - Gut Zustand: Gut, VIII, 335 p. About this book This book constitutes the refereed proceedings of the ACM SIGPLAN/SIGSOFT Conference on Generative Programming and Component Engineering, GPCE 2002, held in Pittsburgh, PA, USA in October 2002. The 18 revised full papers presented were carefully reviewed and selected from 39 submissions. Among the topics covered are generative programming, meta-programming, program specialization, program analysis, program transformation, domain-specific languages, software architectures, aspect-oriented programming, and component-based systems.

Taschenbuch. Zustand: Neu. Neuware -In this concise yet comprehensive Open Access textbook, future inventors are introduced to the key concepts of Cyber-Physical Systems (CPS). Using modeling as a way to develop deeper understanding of the computational and physical components of these systems, one can express new designs in a way that facilitates their simulation, visualization, and analysis. Concepts are introduced in a cross-disciplinary way. Leveraging hybrid (continuous/discrete) systems as a unifying framework and Acumen as a modeling environment, the book bridges the conceptual gap in modeling skills needed for physical systems on the one hand and computational systems on the other. In doing so, the book gives the reader the modeling and design skills they need to build smart, IT-enabled products.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 212 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the proceedings of the 9th International Workshop on Model-Based Design of Cyber Physical Systems, CyPhy 2019 and 15th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2019, held in conjunction with ESWeek 2019, in New York City, NY, USA, in October 2019.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 300 pp. Englisch.

Buch. Zustand: Neu. Neuware -In this concise yet comprehensive Open Access textbook, future inventors are introduced to the key concepts of Cyber-Physical Systems (CPS). Using modeling as a way to develop deeper understanding of the computational and physical components of these systems, one can express new designs in a way that facilitates their simulation, visualization, and analysis. Concepts are introduced in a cross-disciplinary way. Leveraging hybrid (continuous/discrete) systems as a unifying framework and Acumen as a modeling environment, the book bridges the conceptual gap in modeling skills needed for physical systems on the one hand and computational systems on the other. In doing so, the book gives the reader the modeling and design skills they need to build smart, IT-enabled products.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 212 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the proceedings of the 7th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy2017, held in conjunction with ESWeek 2017, in Seoul, South Korea, in October 2017.The 10 papers presented together with 1 extended and 1 invited abstracts in this volume were carefully reviewed and selected from 16 submissions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 172 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the proceedings of the 19th International Symposium on Practical Aspects of Declarative Languages, PADL 2017, held in Paris, France, in January 2017 and collocated with the ACM SIGPLAN Symposium on Principles of Programming Languages.The 14 papers presented in this volume were carefully reviewed and selected from 27 submissions.They deal with novel applications and implementation techniques for all forms of declarative languages, including but not limited to logic, constraint, and functional languages.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Englisch.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 7th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy2017, held in conjunction with ESWeek 2017, in Seoul, South Korea, in October 2017.The 10 papers presented together with 1 extended and 1 invited abstracts in this volume were carefully reviewed andselected from 16 submissions.The conference presents a wide range of domains including robotics;smart homes, vehicles, and buildings; medical implants; and future-generation sensornetworks.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 19th International Symposium on Practical Aspects of Declarative Languages, PADL 2017, held in Paris, France, in January 2017 and collocated with the ACM SIGPLAN Symposium on Principles of Programming Languages. The 14 papers presented in this volume were carefully reviewed and selected from 27 submissions. They deal with novel applications and implementation techniques for all forms of declarative languages, including but not limited to logic, constraint, and functional languages.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume constitutes the proceedings of the second International Workshop on the Semantics, Applications, and Implementation of Program Generation (SAIG 2001)held on 6 September, 2001, in Florence, Italy. SAIG 2001 was held as an ACM SIGPLAN workshop co-located with the International Conference on Principles, Logics, and Implementations of High-level Programming Languages (PLI). As the commercial production of software systems moves toward being a traditional industry, automation will necessarily play a more substantial role in this industry, just as it plays a key role in the production of traditional commodities. SAIG aims at promoting the development and the application of foundational techniques for supporting automatic program generation. A key goal of SAIG is to provide a unique forum for both theoreticians and practitioners to present their results and ideas to an audience from a diverse background. This year we are fortunate to have three in uential invited speakers: Krzysztof Czarnecki (DaimlerChrysler), Tim Sheard (OGI School of Science and Engineering), and Mitchell Wand (Northeastern University). The proceedings include abstracts of the invited talks, and an invited paper by Tim Sheard. Seven technical papers and two position papers were presented at SAIG 2001.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - In this concise yet comprehensive Open Access textbook, futureinventors are introduced to the key concepts of Cyber-Physical Systems(CPS). Using modeling as a way to develop deeper understanding of thecomputational and physical components of these systems, one can express new designs in a way that facilitates their simulation,visualization, and analysis. Concepts are introduced in across-disciplinary way. Leveraging hybrid (continuous/discrete) systems as a unifying framework and Acumen as a modeling environment,the book bridges the conceptual gap in modeling skills needed forphysical systems on the one hand and computational systems on theother. In doing so, the book gives the reader the modeling and designskills they need to build smart, IT-enabled products.Starting with a look at various examples and characteristics ofCyber-Physical Systems, the book progresses to explain how the areabrings together several previously distinct ones such as EmbeddedSystems, Control Theory, and Mechatronics.Featuring a simulation-based project that focuses on a roboticsproblem (how to design a robot that can play ping-pong) as a usefulexample of a CPS domain, Cyber-Physical Systems: A Model-BasedApproach demonstrates the intimate coupling between cyber and physical components, and how designing robots reveals several non-trivialcontrol problems, significant embedded and real-time computationrequirements, and a need to consider issues of communication andpreconceptions.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the International Workshop on Semantics Applications, and Implementation of Program Generation, SAIG 2000, held in Montreal, Canada in September 2000. The seven revised full papers and four position papers presented together with four invited abstracts were carefully reviewed and selected from 20 submissions. Among the topics addressed are multi-stage programming languages, compilation of domain-specific languages and module systems, program transformation, low-level program generation, formal specification, termination analysis, and type-based analysis.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 9th International Workshop on Model-Based Design of Cyber Physical Systems, CyPhy 2019 and 15th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2019, held in conjunction with ESWeek 2019, in New York City, NY, USA, in October 2019.The 13 full papers presented together in this volume were carefully reviewed and selected from 24 submissions.The conference presents a wide range of domains including models and design; simulation and tools; formal methods; embedded and cyber-physical systems education.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume constitutes the proceedings of the rst ACM SIGPLAN/SIGSOFT International Conference on Generative Programming and Component Engine- ing (GPCE 2002), held October 6-8, 2002, in Pittsburgh, PA, USA, as part of the PLI 2002 event, which also included ICFP, PPDP, and a liated workshops. The future of Software Engineering lies in the automation of tasks that are performed manually today. Generative Programming (developing programs that synthesize other programs), Component Engineering (raising the level of mo- larization and analysis in application design), and Domain-Speci c Languages (elevating program speci cations to compact domain-speci c notations that are easier to write and maintain) are key technologies for automating program de- lopment. In a time of conference and workshop proliferation, GPCE represents acounter-trend in the merging of two distinct communities with strongly ov- lapping interests: the Generative and Component-Based Software Engineering Conference (GCSE) and the International Workshop on the Semantics, App- cations, and Implementation of Program Generation (SAIG). Researchers in the GCSE community address the topic of program automation from a contemporary software engineering viewpoint; SAIG correspondingly represents a community attacking automation from a more formal programming languages viewpoint. Together, their combination provides the depth of theory and practice that one would expect in apremier research conference. Three prominent PLI invited speakers lectured at GPCE 2002: Neil Jones (University of Copenhagen), Catuscia Palamidessi (Penn State University), and Janos Sztipanovits (Vanderbilt University). GPCE 2002 received 39 submissions, of which 18 were accepted.

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - In this concise yet comprehensive Open Access textbook, futureinventors are introduced to the key concepts of Cyber-Physical Systems(CPS). Using modeling as a way to develop deeper understanding of thecomputational and physical components of these systems, one can express new designs in a way that facilitates their simulation,visualization, and analysis. Concepts are introduced in across-disciplinary way. Leveraging hybrid (continuous/discrete) systems as a unifying framework and Acumen as a modeling environment,the book bridges the conceptual gap in modeling skills needed forphysical systems on the one hand and computational systems on theother. In doing so, the book gives the reader the modeling and designskills they need to build smart, IT-enabled products.Starting with a look at various examples and characteristics ofCyber-Physical Systems, the book progresses to explain how the areabrings together several previously distinct ones such as EmbeddedSystems, Control Theory, and Mechatronics.Featuring a simulation-based project that focuses on a roboticsproblem (how to design a robot that can play ping-pong) as a usefulexample of a CPS domain, Cyber-Physical Systems: A Model-BasedApproach demonstrates the intimate coupling between cyber and physical components, and how designing robots reveals several non-trivialcontrol problems, significant embedded and real-time computationrequirements, and a need to consider issues of communication andpreconceptions.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Dijkstra once wrote that computer science is no more about computers than astronomy is about telescopes. Despite the many incredible advances in c- puter science from times that predate practical mechanical computing, there is still a myriad of fundamental questions in understanding the interface between computers and the rest of the world. Why is it still hard to mechanize many tasks that seem to be fundamentally routine, even as we see ever-increasing - pacity for raw mechanical computing The disciplined study of domain-speci c languages (DSLs) is an emerging area in computer science, and is one which has the potential to revolutionize the eld, and bring us closer to answering this question. DSLs are formalisms that have four general characteristics. - They relate to a well-de ned domain of discourse, be it controlling tra c lights or space ships. - They have well-de ned notation, such as the ones that exist for prescribing music, dance routines, or strategy in a football game. - The informal or intuitive meaning of the notation is clear. This can easily be overlooked, especially since intuitive meaning can be expressed by many di erent notations that may be received very di erently by users. - The formal meaning is clear and mechanizable, as is, hopefully, the case for the instructions we give to our bank or to a merchant online.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 8th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy 2018 and 14th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2018,held in conjunction with ESWeek 2018, in Torino, Italy, in October 2018.The 13 full papers presented together with 1 short paper in this volume were carefully reviewed and selected from 18 submissions.The conference presents a wide range of domains includingModeling, simulation, verification, design, cyber-physical systems, embedded systems, real-time systems, safety, and reliability.

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 244 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.