Home Advanced Search

Advanced Search - Page 1

Model and Data Engineering: 9th International Conference, MEDI 2019, Toulouse, France, October 28–31, 2019, Proceedings
  • PDF
  • English
  • Year: 2019
  • Author: Klaus-Dieter Schewe, Neeraj Kumar Singh
Using Event-B for Critical Device Software Systems
  • PDF
  • English
  • Year: 2013
  • Author: Neeraj Kumar Singh (auth.)
Employee Relations Management
  • PDF
  • English
  • Year: 2011
  • Author: P. N. Singh, Neeraj Kumar
Semantics in Data and Knowledge Bases: 4th International Workshops, SDKB 2010, Bordeaux, France, July 5, 2010, Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Klaus-Dieter Schewe, Bernhard Thalheim (auth.), Klaus-Dieter Schewe, Bernhard Thalheim (eds.)
Semantics in Data and Knowledge Bases: 4th International Workshops, SDKB 2010, Bordeaux, France, July 5, 2010, Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Klaus-Dieter Schewe, Bernhard Thalheim (auth.), Klaus-Dieter Schewe, Bernhard Thalheim (eds.)
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings
  • PDF
  • English
  • Year: 2014
  • Author: Yamine Ait Ameur, Klaus-Dieter Schewe (eds.)
Geschichte der sozialen und privaten Versicherung im Mittelalter in den Gilden Europas
  • PDF
  • German
  • Year: 2000
  • Author: Schewe, Dieter
Industrial System Engineering for Drones: A Guide with Best Practices for Designing
  • PDF
  • English
  • Year: 2019
  • Author: Neeraj Kumar Singh, Porselvan Muthukrishnan, Satyanarayana Sanpini
System on Chip Interfaces for Low Power Design
  • PDF
  • English
  • Year: 2016
  • Author: Mishra, Sanjeeb; Rousseau, Vijayakrishnan; Singh, Neeraj Kumar
Aptamers: Biotechnological Applications of a Next Generation Tool
  • PDF
  • English
  • Year: 2019
  • Author: Gulab Singh Yadav, Vikas Kumar, Neeraj K. Aggarwal
search