विद्यार्जन संसाधन केंद्र, भारतीय प्रौद्योगिकी संस्थान इन्दौर
Learning Resource Center, Indian Institute of Technology Indore

ऑनलाइन सार्वजनिक अभिगम प्रसूची
Online Public Access Catalogue (OPAC)

Your search returned 21 results.

Results per page:

Results
	1.		Static Analysis by Francesco Logozzo, Manuel F�hndrich Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	2.		Structured Object-Oriented Formal Language and Method by Shaoying Liu Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	3.		Structured Object-Oriented Formal Language and Method by Shaoying Liu, Zhenhua Duan Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	4.		Software Engineering and Formal Methods by Steve Counsell, Manuel N��ez Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	5.		Application and Theory of Petri Nets and Concurrency by Gianfranco Ciardo, Ekkart Kindler Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	6.		Static Analysis by Markus M�ller-Olm, Helmut Seidl Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	7.		Reachability Problems by Jo�l Ouaknine, Igor Potapov, James Worrell Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	8.		Foundational and Practical Aspects of Resource Analysis by Ugo Dal Lago, Ricardo Pe�a Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	9.		Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems by Anne Remke, Mari�lle Stoelinga Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	10.		Software Engineering and Formal Methods by Carlos Canal, Akram Idani Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2015 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	11.		Structured Object-Oriented Formal Language and Method by Shaoying Liu, Zhenhua Duan Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2015 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	12.		Application and Theory of Petri Nets and Concurrency by Raymond Devillers, Antti Valmari Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2015 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	13.		Static Analysis by Sandrine Blazy, Thomas Jensen Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2015 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	14.		Structured Object-Oriented Formal Language and Method by Shaoying Liu, Zhenhua Duan Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2016 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	15.		Perspectives of System Informatics by Manuel Mazzara, Andrei Voronkov Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2016 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	16.		Intelligent Computer Mathematics by Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2016 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	17.		Static Analysis by Xavier Rival Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2016 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	18.		Concurrency, Security, and Puzzles by Thomas Gibson-Robinson, Philippa Hopcroft, Ranko Lazic Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	19.		Intelligent Computer Mathematics by Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	20.		Static Analysis by Francesco Ranzato Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.

Copyright © 2024, 2021, 2017 Indian Institute of Technology Indore. All Rights Reserved.

Managed & maintained by Learning Resource Center, IIT Indore