Verlag: University of California Press (edition First Edition), 2022
ISBN 10: 0520344650 ISBN 13: 9780520344655
Sprache: Englisch
Anbieter: BooksRun, Philadelphia, PA, USA
Erstausgabe
Paperback. Zustand: Very Good. First Edition. It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting.
Verlag: University of California Press, 2022
ISBN 10: 0520344650 ISBN 13: 9780520344655
Sprache: Englisch
Anbieter: PBShop.store US, Wood Dale, IL, USA
PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
Verlag: University of California Press, 2022
ISBN 10: 0520344650 ISBN 13: 9780520344655
Sprache: Englisch
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
EUR 34,52
Anzahl: 7 verfügbar
In den WarenkorbPAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
Verlag: University of California Press, 2022
ISBN 10: 0520344650 ISBN 13: 9780520344655
Sprache: Englisch
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 39,24
Anzahl: 3 verfügbar
In den WarenkorbZustand: New.
Verlag: University of California Press, 2022
ISBN 10: 0520344650 ISBN 13: 9780520344655
Sprache: Englisch
Anbieter: Kennys Bookstore, Olney, MD, USA
Zustand: New. 2022. Paperback. . . . . . Books ship from the US and Ireland.
Verlag: no publisher], 1964., [No place:, 1964
Anbieter: Jeff Weber Rare Books, Neuchatel, NEUCH, Schweiz
8vo. 53-65 pp. Tables. Printed wrappers. Ownership signature of Norman Horowitz. Fine.
Anbieter: Clivia Mueller, Isernhagen, Deutschland
cerevisiae (S. A. Molecular and Cellular Biology Vol. 4, No. 1) 1984. S. 195 - 198. gr8. m. zahlr. Abb. (St.) br. -29 Sonderabdruck.
Anbieter: Clivia Mueller, Isernhagen, Deutschland
(S. A. Molec. Gen. Genetics 103) 1968. S. 185 - 193. m. zahlr. Abb. br. -2) Sonderabdruck.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 58,82
Anzahl: 3 verfügbar
In den WarenkorbZustand: New.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 53,15
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 355 pages. 9.00x6.00x1.00 inches. In Stock.
Verlag: LAP LAMBERT Academic Publishing, 2021
ISBN 10: 6203303232 ISBN 13: 9786203303230
Sprache: Englisch
Anbieter: moluna, Greven, Deutschland
EUR 34,25
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Verlag: University of California Press, 2022
ISBN 10: 0520344650 ISBN 13: 9780520344655
Sprache: Englisch
Anbieter: moluna, Greven, Deutschland
Kartoniert / Broschiert. Zustand: New. Über den AutorAsad Q. Ahmed is Professor of Arabic and Islamic Studies and the Director of the Center for Middle Eastern Studies at the University of California, Berkeley.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 83,00
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 356 pages. 9.69x6.85x1.06 inches. In Stock.
EUR 48,76
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Verlag: LAP LAMBERT Academic Publishing, 2017
ISBN 10: 6202019662 ISBN 13: 9786202019668
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 94,79
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 160 pages. 8.66x5.91x0.37 inches. In Stock.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 95,52
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 90 pages. 9.25x6.10x0.19 inches. In Stock.
Verlag: Lap Lambert Academic Publishing, 2012
ISBN 10: 3659271837 ISBN 13: 9783659271830
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 95,59
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 80 pages. 8.66x5.91x0.19 inches. In Stock.
Verlag: University Of California Press Jul 2022, 2022
ISBN 10: 0520344650 ISBN 13: 9780520344655
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Neuware - 'Palimpsests of Themselves is a transformative work of historical scholarship. With empathy and rigor, Asad Q. Ahmed succeeds brilliantly in recreating the intricate logical theories and exegetical practices of South-Asian Muslim logicians and commentators, who up to now have been entirely neglected in Islamic Studies and in the history of philosophy.'--Robert Wisnovsky, James McGill Professor of Islamic Philosophy, McGill University.
Verlag: Ediciones Nuestro Conocimiento, 2021
ISBN 10: 6203294977 ISBN 13: 9786203294972
Sprache: Spanisch
Anbieter: moluna, Greven, Deutschland
EUR 34,25
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Hardcover. Zustand: New.
Verlag: Springer International Publishing, Springer International Publishing Aug 2021, 2021
ISBN 10: 3030784088 ISBN 13: 9783030784089
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware -This book describes an accurate analysis technique for energy systems based on formal methods¿computer-based mathematical logic techniques for the specification, validation, and verification of the systems.Correctness and accuracy of the financial, operational, and implementation analysis are of the paramount importance for the materialization of the future energy systems, such as smart grids, to achieve the objectives of cost-effectiveness, efficiency, and quality-of-service. In this regard, the book develops formal theories of microeconomics, asymptotic, and stability to support the formal analysis of generation and distribution cost, smart operations, and processing of energy in a smart grid. These formal theories are also employed to formally verify the cost and utility modeling for:Energy generation and distribution;Asymptotic bounds for online scheduling algorithms for plug-in electric vehicles; andStability ofthe power converters for wind turbines.The proposed approach results in mechanized proofs for the specification, validation, and verification of corresponding smart grid problems. The formal mathematical theories developed can be applied to the formal analysis of several other hardware and software systems as well, making this book of interest to researchers and practicing engineers in a variety of power electronic fields.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 92 pp. Englisch.
Verlag: Springer International Publishing, Springer International Publishing, 2021
ISBN 10: 3030784088 ISBN 13: 9783030784089
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book describes an accurate analysis technique for energy systems based on formal methods-computer-based mathematical logic techniques for the specification, validation, and verification of the systems.Correctness and accuracy of the financial, operational, and implementation analysis are of the paramount importance for the materialization of the future energy systems, such as smart grids, to achieve the objectives of cost-effectiveness, efficiency, and quality-of-service. In this regard, the book develops formal theories of microeconomics, asymptotic, and stability to support the formal analysis of generation and distribution cost, smart operations, and processing of energy in a smart grid. These formal theories are also employed to formally verify the cost and utility modeling for:Energy generation and distribution;Asymptotic bounds for online scheduling algorithms for plug-in electric vehicles; andStability ofthe power converters for wind turbines.The proposed approach results in mechanized proofs for the specification, validation, and verification of corresponding smart grid problems. The formal mathematical theories developed can be applied to the formal analysis of several other hardware and software systems as well, making this book of interest to researchers and practicing engineers in a variety of power electronic fields.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Formal Analysis of Future Energy Systems Using Interactive Theorem Proving | Asad Ahmed (u. a.) | Taschenbuch | xi | Englisch | 2021 | Springer | EAN 9783030784089 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
EUR 34,25
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
EUR 265,81
Anzahl: 3 verfügbar
In den WarenkorbZustand: New. pp. 340.
Anbieter: moluna, Greven, Deutschland
EUR 224,85
Anzahl: Mehr als 20 verfügbar
In den WarenkorbGebunden. Zustand: New. Bringing together the expansive scholarly expertise of former students of Professor Michael Allan Cook, this volume contains highly original articles in Islamic history, law, and thought. The contributions range from studies in the pre-Islamic calendar, to .
Verlag: Springer International Publishing, Springer Nature Switzerland, 2025
ISBN 10: 3031843703 ISBN 13: 9783031843709
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents selected contributions on a wide range of scientific and technological areas originating from the BUiD Doctoral Research Conference (BDRC 2024). It discusses the following topics: project management, macroeconomic factors, Fourth Industrial Revolution, agility, multiculturalism, diversity, inclusion, leadership, language, discourse analysis, curriculum, critical thinking, programming, online learning, and natural ventilation. The contributions reflect the multifaceted nature of the research in three academic disciplines, i.e., humanities, formal science, and applied science. This publication shares with its readers' genuine research studies and reflections from practitioners on the current practice and understanding in the three academic disciplines. The significant findings of these studies have considerable educational, industrial, and economic implications.
EUR 248,06
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: Buchpark, Trebbin, Deutschland
Zustand: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 305,85
Anzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 539 pages. 9.25x6.10x9.21 inches. In Stock.