Skip to main content
BEC, Bagalkot
Lists
Public lists
New Arrivals1
New Arrivals
Your lists
Log in to create your own lists
Log in to your account
Your cookies
Search history
LIBRARY AND INFORMATION CENTRE
Your account
Search history
Clear
Log out
About Us
BEC Home
Library Home
Library Rules
VTUConsortium
E-Resources
Elsevier
Emerald
Taylor and Francis
Remote Access
Springer
CRC Press
Elsevier
McGrawhill Education
New Age International
Packt
Sententia-Grammar tool
Circular
Registration form
Details
Sub-wise Breakup
Publishers Contacts
Consortium
N-LIST
DELNET
e-Books
Springer
CRC Press
Elsevier
McGrawhill Education
New Age International
Mint Books
e-Journals
Elsevier
Emerald
Taylor and Francis
ProQuest
Springer
e-News Paper
Kannada
Prajavani
Kannada Prabha
Vijay Karnataka
Udayavani
Vijayavani
Samyukthakarnataka
English
Times of India
Deccan Herald
Business Standard
Businessline
Deccan Chronicle
DNA
The Economic Times
Financial Chronicle
Financial Express
Indian Express
Mint
Pioneer
The Hindu
The Statesman
e-Library
NAD
National Digital Library
National Science Digital Lib
VTU e-Sikshana
e-Learning
e-Learning@VTU
NPTEL
EDUSAT
VIDYAMITRA
SWAYAM MOOCS
MIT Open Courseware
e-CONTENT
Research
Bec
IRINS
Circular
Registration form
Research Tools
Mendeley
Zotero
Grammarly
Staff Profile
Download
↓ Click here to search N-LIST Database
Your search terms
Search Type
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
↓ Click here to search Print Books and E-Books
Search the catalog by:
Library catalog
Title
Author
Subject
ISBN
ISSN
Series
Call number
Search the catalog by keyword
Advanced search
Tag cloud
Subject cloud
Contact
Log in to your account
Card number or username:
Password:
Forgot your password?
Home
Advanced search
Results of search for 'ccl=su:" formal "', page 11 of 11
Refine your search
Availability
Limit to records with available items
Authors
A M Padma Reddy
A M padma Reddy
A.M.Padma Reddy
Einar Broch Johnsen,...
Frank S. Boer, Marce...
Glyn Morrill, Mark-J...
Iain D. Craig
Iain D.Graig
Lindsay Groves, Jing...
Linz P.
Linz Peter
Padma Reddy
Peter Linz
Philippe Groote, Mar...
Robert M. Hierons, J...
Theo Dimitrakos, Fab...
Tiziana Margaria, Be...
Zhiming Liu, Jim Woo...
Show more
Show less
Collections
Civil Engineering
Computer Science & Engineering
Electrical & Electronics Engineering
Electronics & Communication Engineering
Information Science & Engineering
M.Tech VLSI & Embedded Systems
M.Tech. Computer Science & Engineering
M.Tech. Digital Communication
MCA
Mechanical & Industrial Engineering
Science & Technology
Show more
Show less
Item types
E_BOOK
Main Library Books
Reference
SASPB Book Bank Books
SC/ST Book Bank Books
Locations
CS_M-70
CS_M-71
CS_M-77
CS_PM-17
CS_PM-23
CS_PM-5
CS_PM-52
CS_PM-54
CS_PM-8
E&C_PC-10
E&C_PC-25
HAND_BOOKS A-39
HAND_BOOKS A-44
MAT_PF-1
REFERENCE-15
REFERENCE-17
SASPB-7
SCST-12
SCST-13
Show more
Show less
Topics
Finite
Formal
formal
Introduction
Languages
Automata
Automata,Ed4
Computer Programming
Computer Science
Formal Aspects in Se...
Formal Concept Analy...
Formal Methods and S...
Formal Methods for C...
Formal Methods for I...
Formal Methods for O...
Formal Methods: Foun...
Formal Modeling and ...
Formal Techniques fo...
Integrated Formal Me...
Web Services and For...
Show more
Show less
Your search returned 205 results.
Not what you expected? Check for
suggestions
Sort
First
Previous
2
3
4
5
6
7
8
9
10
11
Sort by:
Relevance
Popularity (most to least)
Popularity (least to most)
Author (A-Z)
Author (Z-A)
Call number (0-9 to A-Z)
Call number (Z-A to 9-0)
Publication/Copyright date: Newest to oldest
Publication/Copyright date: Oldest to newest
Acquisition date: Newest to oldest
Acquisition date: Oldest to newest
Title (A-Z)
Title (Z-A)
Unhighlight
Highlight
Select all
Clear all
Select titles to:
Add to list
New list
Place hold
Results
201.
Image from Amazon.com
Image from Google Jackets
Embedded Systems Design Based on Formal Models of Computation
by
Ivan Radojevic, Zoran Salcic
Material type:
Text
; Format:
print
; Literary form:
Not fiction
Publication details:
Germany
Springer
2014
Online resources:
Click here to access online
Availability:
Items available for loan:
Basaveshwar Engineering College,Bagalkote
(1).
Found in Open Library:
Place hold
Save to lists
202.
Image from Amazon.com
Image from Google Jackets
Systems Engineering and Architecting: Creating Formal Requirements
by
Bellagamba, Larry
Material type:
Text
; Format:
print
; Literary form:
Not fiction
Publication details:
London
CRC
2012
Online resources:
Click here to access online
Availability:
Items available for loan:
Basaveshwar Engineering College,Bagalkote
(1).
Found in Open Library:
Place hold
Save to lists
203.
Image from Amazon.com
Image from Google Jackets
Formal Semantics And Proof Techniques For Optimizing VHDL Models
by
Kothanda Uma Umamageswaran
Material type:
Text
; Format:
print
; Literary form:
Not fiction
Publication details:
Germany
Springer
2000
Availability:
Items available for loan:
Basaveshwar Engineering College,Bagalkote
(1).
Found in Open Library:
Place hold
Save to lists
204.
Image from Amazon.com
Image from Google Jackets
An Introduction To Formal Languages and Automota,Ed6
by
Peter Linz
Edition:
6
Material type:
Text
; Format:
print
; Literary form:
Not fiction
Publication details:
New Delhi
Jones
2023
Availability:
Not available:
Basaveshwar Engineering College,Bagalkote: Checked out
(10).
Found in Open Library:
Place hold
Save to lists
205.
Image from Amazon.com
Image from Google Jackets
Formal Correctness of Security Protocols
by
Giampaola Bella
Material type:
Text
; Format:
print
; Literary form:
Not fiction
Publication details:
Germany
Springer
2017
Availability:
Items available for loan:
Basaveshwar Engineering College,Bagalkote
(1).
Found in Open Library:
Place hold
Save to lists
First
Previous
2
3
4
5
6
7
8
9
10
11
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