taha walid (46 Ergebnisse)

Zustand: Good. *Price HAS BEEN REDUCED by 10% until Monday, May 11 (weekend SALE item)* 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.

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.

Zustand: New. In.

Zustand: New. In.

Zustand: New. In.

Zustand: New. In.

Zustand: New. In.

Zustand: New. In.

Zustand: New. In.

Zustand: New. In.

Zustand: New. In.

Zustand: New. In.

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.

Hardcover. Zustand: Brand New. 212 pages. 10.00x7.01x0.71 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.

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

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 - 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 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 - 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.