Search

Your search keyword '"Neeraj K"' showing total 62 results

Search Constraints

Start Over You searched for: Author "Neeraj K" Remove constraint Author: "Neeraj K" Publication Type eBooks Remove constraint Publication Type: eBooks
62 results on '"Neeraj K"'

Search Results

4. Corrosion Studies on AA7075-T7352 Alloys Under Adverse Environments

20. Empowering the Event-B Method Using External Theories

31. Event-B Refinement for Continuous Behaviours Approximation

32. Reduction in Bill Using Time of Usage Pricing in a Smart Grid

33. Kinematic Analysis and Dimensional Synthesis of Filleted-Rhombus Path Generating Adjustable Four-Bar Mechanism

36. An Event-B Based Generic Framework for Hybrid Systems Formal Modelling

37. Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement

38. Formally Verified Architecture Patterns of Hybrid Systems Using Proof and Refinement with Event-B

39. Hybrid Systems and Event-B: A Formal Approach to Signalised Left-Turn Assist

40. Memory-Based Load Balancing Algorithm in Structured Peer-to-Peer System

41. On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B

45. Relationship Between Multiple Joint Movements Using Fitts Law

48. Bioethanol Production : Past and Present

49. Water Hyacinth: A Potential Lignocellulosic Biomass for Bioethanol

50. Aptamers : Biotechnological Applications of a Next Generation Tool

Catalog

Books, media, physical & digital resources