Garg Naveen Kumar (39 results)

Condition: As New. Unread book in perfect condition.

Condition: New.

Condition: New.

Paperback. Condition: New.

PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.

PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.

Condition: New. In.

Condition: New.

Condition: As New. Unread book in perfect condition.

Condition: New. In.

Paperback. Condition: New.

Condition: New. pp. 452.

Paperback. Condition: Brand New. 1st edition. 430 pages. 9.25x6.00x1.00 inches. In Stock.

Paperback. Condition: New.

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 26th International Conference on the Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2006, held in Kolkata, India, in December 2006. It contains 38 papers that cover a broad variety of current topics from the theory of computing, ranging from formal methods, discrete mathematics, complexity theory, and automata theory to theoretical computer science in general.…

Condition: New. A brand new book in pristine condition. Showing zero signs of shelf wear, creases, or damage.

Paperback. Condition: new. Paperback. This book presents the select proceedings of the 9th National Conference on Advances in Metrology (AdMet 2024). It highlights and discusses the recent technological advancements and developments in the areas of fundamental and quantum metrology, physico-mechanical and electrical metrology, time and frequency metrology, materials metrology, industrial and legal metrology, and digital metrology, gas and aerosol metrology among others. This book is aimed at those engaged in conformity assessment, quality system management, calibration, and testing in all sectors of industry as well as in academic research. The book is a valuable reference for metrologists, scientists, engineers, academicians, and students from research institutes and industrial establishments to explore future directions and research in the areas of sensors, advanced materials, measurements, and quality improvement. It highlights and discusses the recent technological advancements and developments in the areas of fundamental and quantum metrology, physico-mechanical and electrical metrology, time and frequency metrology, materials metrology, industrial and legal metrology, and digital metrology, gas and aerosol metrology among others. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. …

Taschenbuch. Condition: Neu. Advances in Metrology | Select Proceedings of AdMet 2024 | Sanjay Yadav (u. a.) | Taschenbuch | Lecture Notes in Mechanical Engineering | xi | Englisch | 2025 | Springer | EAN 9789819664177 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Paperback. Condition: new. Paperback. This book presents the select proceedings of the 11th National Conference on Advances in Metrology (AdMet 2022). The book highlights and discusses the recent technological developments in the areas of fundamental and quantum metrology, physico-mechanical and electrical metrology, time and frequency metrology, materials metrology, industrial and legal metrology, digital transformation in metrology, among others. This book is aimed for those engaged in conformity assessment, quality system management, calibration, and testing in all sectors of industry. The book is a valuable reference for metrologists, scientists, engineers, academicians, and students from research institutes and industrial establishments to explore the future directions and research in the areas of sensors, advance materials, measurements, and quality improvement. The book highlights and discusses the recent technological developments in the areas of fundamental and quantum metrology, physico-mechanical and electrical metrology, time and frequency metrology, materials metrology, industrial and legal metrology, digital transformation in metrology, among others. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…

Taschenbuch. Condition: Neu. Recent Advances in Metrology | Select Proceedings of AdMet 2022 | Sanjay Yadav (u. a.) | Taschenbuch | Lecture Notes in Mechanical Engineering | xiii | Englisch | 2023 | Springer | EAN 9789819945962 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Paperback. Condition: Brand New. 285 pages. 9.26x6.11x9.25 inches. In Stock.

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents the select proceedings of the 9th National Conference on Advances in Metrology (AdMet 2024). It highlights and discusses the recent technological advancements and developments in the areas of fundamental and quantum metrology, physico-mechanical and electrical metrology, time and frequency metrology, materials metrology, industrial and legal metrology, and digital metrology, gas and aerosol metrology among others. This book is aimed at those engaged in conformity assessment, quality system management, calibration, and testing in all sectors of industry as well as in academic research. The book is a valuable reference for metrologists, scientists, engineers, academicians, and students from research institutes and industrial establishments to explore future directions and research in the areas of sensors, advanced materials, measurements, and quality improvement.…

Paperback. Condition: Brand New. 234 pages. 9.25x6.10x0.51 inches. In Stock.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 26th International Conference on the Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2006, held in Kolkata, India, in December 2006. It contains 38 papers that cover a broad variety of current topics from the theory of computing, ranging from formal methods, discrete mathematics, complexity theory, and automata theory to theoretical computer science in general. 452 pp. Englisch.…

Condition: New. Print on Demand pp. 452 Illus.

Condition: New. PRINT ON DEMAND pp. 452.

Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed proceedings of the 26th International Conference on the Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2006, held in Kolkata, India, in December 2006. It contains 38 papers that cover a broa.…

Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Invited Papers.- Shared-Variable Concurrency: A Proposal.- Hennessy-Plotkin-Brookes Revisited.- Approximation Algorithms for 2-Stage Stochastic Optimization Problems.- The Number of Crossing Free Configurations on Finite Point Sets in the Plane.- Contributed Papers - Track A.- Normal and Feature Approximations from Noisy Point Clouds.- Coresets for Discrete Integration and Clustering.- Self-assemblying Classes of Shapes with a Minimum Number of Tiles, and in Optimal Time.- One-Input-Face MPCVP Is Hard for L, But in LogDCFL.- Hardness of Approximation Results for the Problem of Finding the Stopping Distance in Tanner Graphs.- Multi-stack Boundary Labeling Problems.- Computing a Center-Transversal Line.- On Obtaining Pseudorandomness from Error-Correcting Codes.- Fast Edge Colorings with Fixed Number of Colors to Minimize Imbalance.- Zero Error List-Decoding Capacity of the q/(q-1) Channel.- Fast Exponential Algorithms for Maximum r-Regular Induced Subgraph Problems.- Solving Connected Dominating Set Faster Than 2 n .- Linear-Time Algorithms for Two Subtree-Comparison Problems on Phylogenetic Trees with Different Species.- Computationally Sound Symbolic Secrecy in the Presence of Hash Functions.- Some Results on Average-Case Hardness Within the Polynomial Hierarchy.- Unbiased Rounding of Rational Matrices.- Contributed Papers - Track B.- Rational Behaviour and Strategy Construction in Infinite Multiplayer Games.- The Anatomy of Innocence Revisited.- Testing Probabilistic Equivalence Through Reinforcement Learning.- On Decidability of LTL Model Checking for Process Rewrite Systems.- Monitoring of Real-Time Properties.- A Proof System for the Linear Time -Calculus.- Tree Automata Make Ordinal Theory Easy.- Context-Sensitive Dependency Pairs.- On Reduction Criteriafor Probabilistic Reward Models.- Distributed Synthesis for Well-Connected Architectures.- The Meaning of Ordered SOS.- Almost Optimal Strategies in One Clock Priced Timed Games.- Expressivity Properties of Boolean BI Through Relational Models.- On Continuous Timed Automata with Input-Determined Guards.- Safely Freezing LTL.- Branching Pushdown Tree Automata.- Validity Checking for Finite Automata over Linear Arithmetic Constraints.- Game Semantics for Higher-Order Concurrency.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 452 pp. Englisch.…

Taschenbuch. Condition: Neu. Beyond Firewalls | Security-at-Scale | Naveen Kumar Garg | Taschenbuch | Englisch | 2024 | Naveen Garg | EAN 9798988419099 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.

Taschenbuch. Condition: Neu. FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science | 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings | S. Arun-Kumar (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2006 | Springer | EAN 9783540499947 | Verantwortliche Person für die EU: Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu Print on Demand.…