Skip to main content
LRC IIT Indore
Your cart is empty.
Cart
Log in to your account
Search history
Clear
विद्यार्जन
संसाधन
केंद्र, भारतीय
प्रौद्योगिकी
संस्थान
इन्दौर
Learning Resource Center, Indian Institute of Technology Indore
ऑनलाइन सार्वजनिक अभिगम प्रसूची
O
nline
P
ublic
A
ccess
C
atalogue (
OPAC
)
Library catalog
Title
Author
Subject
ISBN
ISSN
Series
Call number
Advanced search
Browse by hierarchy
Authority search
Most popular
Library
Log in to your account
×
Login:
Password:
Forgot your password?
Home
Results of search for 'au:"Antonio Cerone"'
Refine your search
Availability
Limit to currently available items
Authors
Antonio Cerone
(1)
Markus Roggenbach
(1)
Peter Csaba Ölveczky
(1)
Antonio Cerone
(2)
Antonio Cerone, Donatella Persico, Sara Fernandes,...
(1)
Antonio Cerone, Marco Roveri
(1)
Frank de Boer
(1)
Show more
Show less
Item types
E-Book
(5)
Locations
Online
(5)
Series
Communications in Computer and Information Science
(1)
Lecture Notes in Computer Science
(4)
Topics
Computer Hardware
(1)
Software Engineering
(1)
Special Purpose and Application-Based Systems
(1)
Computer Science
(3)
Your search returned 5 results.
Sort
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)
Results per page:
20 (default)
20
40
60
80
100
Unhighlight
Highlight
Select all
Clear all
Select titles to:
Add to...
Cart
Place hold
Results
1.
Information Technology and Open Source: Applications for Education, Innovation, and Sustainability
by
Antonio Cerone, Donatella Persico, Sara Fernandes, Alexeis Garcia-Perez, Panagiotis Katsaros, Siraj Ahmed Shaikh, Ioannis Stamelos
Series:
Lecture Notes in Computer Science
Material type:
Text
; Format:
print
; Literary form:
Not fiction
Publication details:
Springer
2014
Online access:
Click here to access online
Availability:
Items available for reference:
LRC, IIT Indore: Not for loan
(1).
Add to cart
(remove)
2.
No cover image available
Software Engineering and Formal Methods
by
Antonio Cerone, Marco Roveri
Series:
Lecture Notes in Computer Science
Material type:
Text
; Format:
print
; Literary form:
Not fiction
Publication details:
Springer
2018
Online access:
Click here to access online
Click here to access online
Availability:
Items available for reference:
LRC, IIT Indore: Not for loan
(1).
Add to cart
(remove)
3.
Software Engineering and Formal Methods
by
Frank de Boer
Antonio Cerone
Series:
Lecture Notes in Computer Science
Material type:
Text
Publication details:
Springer Nature
2020
Online access:
Click here to access online
Availability:
Items available for reference:
: Not for loan
(1).
Add to cart
(remove)
4.
No cover image available
Formal Methods – Fun for Everybody
by
Antonio Cerone
Markus Roggenbach
Series:
Communications in Computer and Information Science
Material type:
Text
; Format:
print
; Literary form:
Not fiction
Publication details:
Springer Nature
2021
Online access:
Click here to access online
Availability:
Items available for reference:
LRC, IIT Indore: Not for loan
(1).
Add to cart
(remove)
5.
No cover image available
Theoretical Aspects of Computing – ICTAC 2021
by
Antonio Cerone
Peter Csaba Ölveczky
Series:
Lecture Notes in Computer Science
Material type:
Text
; Format:
print
; Literary form:
Not fiction
Publication details:
Springer Nature
2021
Online access:
Click here to access online
Availability:
Items available for reference:
LRC, IIT Indore: Not for loan
(1).
Add to cart
(remove)
Pages
Copyright © 2024, 2021, 2017 Indian Institute of Technology Indore. All Rights Reserved.
Managed & maintained by Learning Resource Center, IIT Indore
Powered by
Koha