Chao wang u a (15 Ergebnisse)

Taschenbuch. Zustand: Neu. Computer Aided Verification | 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I | Shuvendu K. Lahiri (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xvii | Englisch | 2020 | Springer | EAN 9783030532871 | 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. Computer Aided Verification | 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II | Shuvendu K. Lahiri (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xviii | Englisch | 2020 | Springer | EAN 9783030532901 | 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. Time-of-flight Electron Energy Spectrometer | Chao Wang (u. a.) | Taschenbuch | 148 S. | Englisch | 2018 | LAP LAMBERT Academic Publishing | EAN 9786134976466 | Verantwortliche Person für die EU: BoD - Books on Demand, In de Tarpen 42, 22848 Norderstedt, info[at]bod[dot]de | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Network and Parallel Computing | 14th IFIP WG 10.3 International Conference, NPC 2017, Hefei, China, October 20-21, 2017, Proceedings | Xuanhua Shi (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xii | Englisch | 2017 | Springer | EAN 9783319682099 | 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. Automated Technology for Verification and Analysis | 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings | Shuvendu K. Lahiri (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiii | Englisch | 2018 | Springer | EAN 9783030010898 | 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. Dynamic Equations and Almost Periodic Fuzzy Functions on Time Scales | Chao Wang (u. a.) | Taschenbuch | Synthesis Lectures on Mathematics & Statistics | xii | Englisch | 2023 | Springer | EAN 9783031112386 | 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. Combined Measure and Shift Invariance Theory of Time Scales and Applications | Chao Wang (u. a.) | Taschenbuch | xvi | Englisch | 2023 | Springer | EAN 9783031116216 | 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. Abstraction Refinement for Large Scale Model Checking | Chao Wang (u. a.) | Taschenbuch | Integrated Circuits and Systems | xiv | Englisch | 2014 | Springer | EAN 9781489993953 | 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. Theory of Translation Closedness for Time Scales | With Applications in Translation Functions and Dynamic Equations | Chao Wang (u. a.) | Taschenbuch | xvi | Englisch | 2021 | Springer | EAN 9783030434069 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Zustand: New. Wenping Gong is a Professor at China University of Geosciences in Wuhan. He received his PhD in civil engineering (geotechnical) from Clemson University, USA. His research focuses primarily on probabilistic site characterization, uncertainty analy.

Taschenbuch. Zustand: Neu. Modeling and Diagnostics of Polymer Electrolyte Fuel Cells | Ugur Pasaogullari (u. a.) | Taschenbuch | Modern Aspects of Electrochemistry | xix | Englisch | 2014 | Springer | EAN 9781489982636 | 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. Spectromètre d'énergie électronique à temps de vol | Chao Wang (u. a.) | Taschenbuch | Französisch | 2023 | Editions Notre Savoir | EAN 9786205853788 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Spettrometro di energia elettronica a tempo di volo | Chao Wang (u. a.) | Taschenbuch | Italienisch | 2023 | Edizioni Sapienza | EAN 9786205853795 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Espectrómetro de Energia Electrónica de Tempo de Voo | Chao Wang (u. a.) | Taschenbuch | Portugiesisch | 2023 | Edições Nosso Conhecimento | EAN 9786205853801 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu. …

Taschenbuch. Zustand: Neu. Elektronen-Energie-Spektrometer mit Flugzeit | Chao Wang (u. a.) | Taschenbuch | 132 S. | Deutsch | 2023 | Verlag Unser Wissen | EAN 9786205853757 | Verantwortliche Person für die EU: BoD - Books on Demand, In de Tarpen 42, 22848 Norderstedt, info[at]bod[dot]de | Anbieter: preigu. …