Formal Methods and Models for System Design

By

Formal Methods and Models for System Design

By Rajesh Gupta

The gap between the size of microelectronic design/validation task and our ability to design these in a reasonable time is steadly increasing. We need tools and techniques to bridge this gap. Forma...

Co Synthesis of Hardware and Software for Digital Embedded Systems

By Rajesh Kumar Gupta

Co-Synthesis of Hardware and Software for Digital Embedded Systems, with a Foreword written by Giovanni De Micheli, presents techniques that are useful in building complex embedded systems. These t...

Co-Synthesis of Hardware and Software for Digital Embedded Systems

By Rajesh Kumar Gupta

Co-Synthesis of Hardware and Software for Digital Embedded Systems, with a Foreword written by Giovanni De Micheli, presents techniques that are useful in building complex embedded systems. These t...

Agricultural Subsidies and Their Economic Implications

By R.K. Gupta

Numerical Methods

By Rajesh Kumar Gupta

Numerical Methods

By Rajesh Kumar Gupta

Managing Sustainable Operations of Logistics and Supply Chain Management

By Rajesh Kumar Gupta, Krishna Kumar Dadsena, Andrea Appolloni, Aakanksha Kishore, K. Mathiyazhagan

Managing Sustainable Operations of Logistics and Supply Chain Management

By Rajesh Kumar Gupta, Krishna Kumar Dadsena, Andrea Appolloni, Aakanksha Kishore, K. Mathiyazhagan

Managing Sustainable Operations of Logistics and Supply Chain Management

By Rajesh Kumar Gupta, Krishna Kumar Dadsena, Andrea Appolloni, Aakanksha Kishore, K. Mathiyazhagan