LIBRARY AND INFORMATION CENTRE

↓ Click here to search N-LIST Database
↓ Click here to search Print Books and E-Books

Your search returned 205 results.

Not what you expected? Check for suggestions
Sort
Results
121.
Amazon cover image
Image from Amazon.com
Image from Google Jackets
Formal Concept Analysis by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Germany Springer 2010
Online resources:
Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1).

122.
Amazon cover image
Image from Amazon.com
Image from Google Jackets
Formal Methods and Software Engineering by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Germany Springer 2010
Online resources:
Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1).

123.
Amazon cover image
Image from Amazon.com
Image from Google Jackets
Formal Methods for Components and Objects by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Germany Springer 2010
Online resources:
Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1).

124.
Amazon cover image
Image from Amazon.com
Image from Google Jackets
Formal Methods for Industrial Critical Systems by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Germany Springer 2010
Online resources:
Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1).

125.
Amazon cover image
Image from Amazon.com
Image from Google Jackets
Formal Methods for Quantitative Aspects of Programming Languages by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Germany Springer 2010
Online resources:
Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1).

126.
Amazon cover image
Image from Amazon.com
Image from Google Jackets
Formal Methods: State of the Art and New Directions by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Germany Springer 2010
Online resources:
Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1).

127.
Amazon cover image
Image from Amazon.com
Image from Google Jackets
Formal Modeling and Analysis of Timed Systems by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Germany Springer 2010
Online resources:
Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1).

128.
Amazon cover image
Image from Amazon.com
Image from Google Jackets
Formal Techniques for Distributed Systems by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Germany Springer 2010
Online resources:
Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1).

129.
Amazon cover image
Image from Amazon.com
Image from Google Jackets
Integrated Formal Methods by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Germany Springer 2010
Online resources:
Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1).

130.
Amazon cover image
Image from Amazon.com
Image from Google Jackets
Leveraging Applications of Formal Methods, Verification, and Validation by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Germany Springer 2010
Online resources:
Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1).

131.
Amazon cover image
Image from Amazon.com
Image from Google Jackets
Leveraging Applications of Formal Methods, Verification, and Validation by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Germany Springer 2010
Online resources:
Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1).

132.
Amazon cover image
Image from Amazon.com
Image from Google Jackets
Web Services and Formal Methods by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Germany Springer 2010
Online resources:
Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1).

133.
Amazon cover image
Image from Amazon.com
Image from Google Jackets
Descriptional Complexity of Formal Systems by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Germany Springer 2011
Online resources:
Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1).

134.
Amazon cover image
Image from Amazon.com
Image from Google Jackets
FM 2011: Formal Methods by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Germany Springer 2011
Online resources:
Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1).

135.
Amazon cover image
Image from Amazon.com
Image from Google Jackets
Formal Aspects of Security and Trust by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Germany Springer 2011
Online resources:
Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1).

136.
Amazon cover image
Image from Amazon.com
Image from Google Jackets
Formal Concept Analysis by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Germany Springer 2011
Online resources:
Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1).

137.
Amazon cover image
Image from Amazon.com
Image from Google Jackets
Formal Grammar by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Germany Springer 2011
Online resources:
Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1).

138.
Amazon cover image
Image from Amazon.com
Image from Google Jackets
Formal Methods and Software Engineering by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Germany Springer 2011
Online resources:
Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1).

139.
Amazon cover image
Image from Amazon.com
Image from Google Jackets
Formal Methods for Eternal Networked Software Systems by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Germany Springer 2011
Online resources:
Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1).

140.
Amazon cover image
Image from Amazon.com
Image from Google Jackets
Formal Methods for Industrial Critical Systems by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Germany Springer 2011
Online resources:
Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1).

Total No of Books as on Date

Titles Volumes National Journals(Print) International Journals(Print) e-Books e-Journals
43955 139001 162 3 34446 10300

Library working hours

Monday to Saturday Sunday and General Holidays
10.00am to 5.30pm Closed
Contact Information: Librarian, Basaveshwar Engineering College(Autonomus) Bagalkot -587102 Mobile:9448514872