Your search returned 8 results.

Not what you expected? Check for suggestions
1.
Formal Modeling and Analysis of Timed Systems [electronic resource] : 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings / edited by Sriram Sankaranarayanan, Enrico Vicario.

by Sankaranarayanan, Sriram [editor.] | Vicario, Enrico [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :

2.
Computer Safety, Reliability, and Security [electronic resource] : 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings / edited by Floor Koornneef, Coen van Gulijk.

by Koornneef, Floor [editor.] | van Gulijk, Coen [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :

3.
Formal Modeling and Analysis of Timed Systems [electronic resource] : 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings / edited by Martin Fränzle, Nicolas Markey.

by Fränzle, Martin [editor.] | Markey, Nicolas [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available :

4.
Computer Safety, Reliability, and Security [electronic resource] : 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings / edited by Amund Skavhaug, Jérémie Guiochet, Friedemann Bitsch.

by Skavhaug, Amund [editor.] | Guiochet, Jérémie [editor.] | Bitsch, Friedemann [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available :

5.
Computer Safety, Reliability, and Security [electronic resource] : SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings / edited by Amund Skavhaug, Jérémie Guiochet, Erwin Schoitsch, Friedemann Bitsch.

by Skavhaug, Amund [editor.] | Guiochet, Jérémie [editor.] | Schoitsch, Erwin [editor.] | Bitsch, Friedemann [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available :

6.
Cyber-Physical Systems of Systems [electronic resource] : Foundations – A Conceptual Model and Some Derivations: The AMADEOS Legacy / edited by Andrea Bondavalli, Sara Bouchenak, Hermann Kopetz.

by Bondavalli, Andrea [editor.] | Bouchenak, Sara [editor.] | Kopetz, Hermann [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available :

7.
Designing the Digital Transformation [electronic resource] : 12th International Conference, DESRIST 2017, Karlsruhe, Germany, May 30 – June 1, 2017, Proceedings / edited by Alexander Maedche, Jan vom Brocke, Alan Hevner.

by Maedche, Alexander [editor.] | vom Brocke, Jan [editor.] | Hevner, Alan [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available :

8.
Rules and Reasoning [electronic resource] : International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings / edited by Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, Dumitru Roman.

by Costantini, Stefania [editor.] | Franconi, Enrico [editor.] | Van Woensel, William [editor.] | Kontchakov, Roman [editor.] | Sadri, Fariba [editor.] | Roman, Dumitru [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available :


Implemented and Maintained by Biju Patnaik Central Library.
For any Suggestions/Query Contact to library or Email: library@nitrkl.ac.in OR bpcl-cir@nitrkl.ac.in. Ph:91+6612462103
Website/OPAC best viewed in Mozilla Browser in 1366X768 Resolution.

Powered by Koha