Trivedi Ashutosh (29 results)

Condition: New.

Condition: New.

Condition: New.

Condition: Acceptable. Readable, but has significant damage / tears. Has a remainder mark. paperback Used - Acceptable 2025.

Paperback. Condition: new. Paperback. The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, during January 2021, 2025.The 20 full papers together with 2 accepted tool papers and 18 full length regular and case-study papers presented in the proceedings were carefully reviewed and selected from 48 submissions. The program of VMCAI 2025 conference in the core areas of VMCAI including abstract interpretation, programming languages, hardware and software model checking, cyber-physical systems, formal synthesis, formal methods in artificial intelligence, concurrency and other areas. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…

Paperback. Condition: new. Paperback. The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, during January 2021, 2025.The 20 full papers together with 2 accepted tool papers and 18 full length regular and case-study papers presented in the proceedings were carefully reviewed and selected from 48 submissions. The program of VMCAI 2025 conference in the core areas of VMCAI including abstract interpretation, programming languages, hardware and software model checking, cyber-physical systems, formal synthesis, formal methods in artificial intelligence, concurrency and other areas. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…

Paperback. Condition: Brand New. 252 pages. 9.25x6.10x9.24 inches. In Stock.

Paperback. Condition: Brand New. 268 pages. 9.25x6.10x9.25 inches. In Stock.

Paperback. Condition: Brand New. 156 pages. 8.66x5.91x0.36 inches. In Stock.

Condition: New.

Condition: New.

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, during January 20 21, 2025.The 20 full papers together with 2 accepted tool papers and 18 full length regular and case-study papers presented in the proceedings were carefully reviewed and selected from 48 submissions. The program of VMCAI 2025 conference in the core areas of VMCAI including abstract interpretation, programming languages, hardware and software model checking, cyber-physical systems, formal synthesis, formal methods in artificial intelligence, concurrency and other areas.…

Condition: New.

Condition: New.

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, during January 20 21, 2025.The 20 full papers together with 2 accepted tool papers and 18 full length regular and case-study papers presented in the proceedings were carefully reviewed and selected from 48 submissions. The program of VMCAI 2025 conference in the core areas of VMCAI including abstract interpretation, programming languages, hardware and software model checking, cyber-physical systems, formal synthesis, formal methods in artificial intelligence, concurrency and other areas.…

Taschenbuch. Condition: Neu. Verification, Model Checking, and Abstract Interpretation | 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I | Krishna Shankaranarayanan (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiv | Englisch | 2025 | Springer | EAN 9783031826993 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condition: Neu. Verification, Model Checking, and Abstract Interpretation | 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II | Krishna Shankaranarayanan (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiv | Englisch | 2025 | Springer | EAN 9783031827020 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Condition: new. Questo è un articolo print on demand.

Condition: new. Questo è un articolo print on demand.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Corrosion can be defined as 'The chemical or electrochemical reaction between a material, usually a metal, and its environment that produces a deterioration of material and its properties'. In concrete, corrosion is an electrochemical reaction driven by the difference in electrical potential between metal and concrete surface. It has been well known that steel embedded in concrete is in the passive state, due to the high basicity of sodium hydroxide medium. Thus, the steel is not subject to corrosion and possesses almost unlimited durability. Since steel in concrete structures are in passive conditions, steels are protected by a self-renewable thin oxide layer promoted by the concrete alkalinity. Corrosion can initiate only when passivity is destroyed. There are two main causes of reinforcement corrosion both of which involves the passivating layer of the iron oxide around the reinforcement. The first is carbonation of concrete (i.e. the reaction of atmospheric CO2 with cement paste, which lowers pH value of medium and causes general corrosion to produce a mild acid called carbonic acid).This book is an attempt to provide the knowledge of measurement of corrosion. 156 pp. Englisch. …

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, during January 20 21, 2025.The 20 full papers together with 2 accepted tool papers and 18 full length regular and case-study papers presented in the proceedings were carefully reviewed and selected from 48 submissions. The program of VMCAI 2025 conference in the core areas of VMCAI including abstract interpretation, programming languages, hardware and software model checking, cyber-physical systems, formal synthesis, formal methods in artificial intelligence, concurrency and other areas. 252 pp. Englisch. …

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, during January 20 21, 2025.The 20 full papers together with 2 accepted tool papers and 18 full length regular and case-study papers presented in the proceedings were carefully reviewed and selected from 48 submissions. The program of VMCAI 2025 conference in the core areas of VMCAI including abstract interpretation, programming languages, hardware and software model checking, cyber-physical systems, formal synthesis, formal methods in artificial intelligence, concurrency and other areas. 268 pp. Englisch. …

Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Autor/Autorin: Trivedi Ashutosh ShankerDr.Ashutosh S.Trivedi is working as Head of Institute and Professor in the faculty of Civil Engineering at IPS-College of Technology & Management, Gwalior affiliated RGPV,Bhopal.He obtained his B.E. (Civil Eng. …

Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt.

Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt.

Taschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Corrosion can be defined as 'The chemical or electrochemical reaction between a material, usually a metal, and its environment that produces a deterioration of material and its properties'. In concrete, corrosion is an electrochemical reaction driven by the difference in electrical potential between metal and concrete surface. It has been well known that steel embedded in concrete is in the passive state, due to the high basicity of sodium hydroxide medium. Thus, the steel is not subject to corrosion and possesses almost unlimited durability. Since steel in concrete structures are in passive conditions, steels are protected by a self-renewable thin oxide layer promoted by the concrete alkalinity. Corrosion can initiate only when passivity is destroyed. There are two main causes of reinforcement corrosion both of which involves the passivating layer of the iron oxide around the reinforcement. The first is carbonation of concrete (i.e. the reaction of atmospheric CO2 with cement paste, which lowers pH value of medium and causes general corrosion to produce a mild acid called carbonic acid).This book is an attempt to provide the knowledge of measurement of corrosion. …

Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Corrosion can be defined as 'The chemical or electrochemical reaction between a material, usually a metal, and its environment that produces a deterioration of material and its properties'. In concrete, corrosion is an electrochemical reaction driven by the difference in electrical potential between metal and concrete surface. It has been well known that steel embedded in concrete is in the passive state, due to the high basicity of sodium hydroxide medium. Thus, the steel is not subject to corrosion and possesses almost unlimited durability. Since steel in concrete structures are in passive conditions, steels are protected by a self-renewable thin oxide layer promoted by the concrete alkalinity. Corrosion can initiate only when passivity is destroyed. There are two main causes of reinforcement corrosion both of which involves the passivating layer of the iron oxide around the reinforcement. The first is carbonation of concrete (i.e. the reaction of atmospheric CO2 with cement paste, which lowers pH value of medium and causes general corrosion to produce a mild acid called carbonic acid).This book is an attempt to provide the knowledge of measurement of corrosion.VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 156 pp. Englisch. …

Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, during January 2021, 2025.The 20 full papers together with 2 accepted tool papers and 18 full length regular and case-study papers presented in the proceedings were carefully reviewed and selected from 48 submissions.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 268 pp. Englisch. …

Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, during January 2021, 2025.The 20 full papers together with 2 accepted tool papers and 18 full length regular and case-study papers presented in the proceedings were carefully reviewed and selected from 48 submissions.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 252 pp. Englisch. …