Skip to main content
Resource Centre
Lists
Public lists
interesting??
Copyrights, Patents & IPR
Albert Einstein
Bharat Ratna Awardees
A Very Short Introduction
Music
Elections and Democracy in India
GATE
Quantum Science and Technology
Your lists
Log in to create your own lists
Log in to your account
Your cookies
Search history
RC Home
|
Contact Us
Resource Centre
Home
Trending
Search the catalog by:
Library catalog
Title
Author
Subject
ISBN
ISSN
Series
Call number
Search the catalog
Advanced search
Course reserves
Authority search
Tag cloud
Most popular
Libraries
Log in to your account
Card number or username:
Password:
Forgot your password?
Home
Advanced search
Results of search for 'su:"Logiciels"'
Refine your search
Availability
Limit to records with available items
Authors
Frappier, Marc
Gacek, Cristina
Godefroid, Patrick
Habrias, Henri
Licholai, Gregory P.
Papademetris, Xenophon
Quraishi, Ayesha N.
Show more
Show less
Item types
Books
Series
Cambridge texts in biomedical engineering
Lecture notes in computer science
Topics
Artificial Intelligence
CFSM Languages
Clinical trials
Computer file
Computer simulation
Computer software
Computer software - Reusability - Congresses
Computer software - Specifications
Data processing
Electronic health records
E-LOTOS
Engineering & Applied Sciences
Entwurfsmuster
FDA
Formal methods
Healthcare
Logiciels
Quality management system
Traceability
User need
Show more
Show less
Your search returned 4 results.
Not what you expected? Check for
suggestions
Sort
Sort results by:
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
Public lists
Music
Quantum Science and Technology
New list
Place hold
Results
1.
Image from Google Jackets
Software specification methods
by
Habrias, Henri
Frappier, Marc
Material type:
Text
; Format:
print
; Literary form:
Not fiction
Publication details:
London:
ISTE Ltd,
2006
Availability:
Items available for loan:
DAU
(1)
Call number:
004.0151 HAB
.
Place hold
Save to lists
2.
Image from Google Jackets
Software reuse : methods, techniques, and tools : seventh international conference, ICSR-7, Austin, TX, USA, April 15-19, 2002 : proceedings
by
Gacek, Cristina
Series:
; 2319
|
Lecture notes in computer science
Material type:
Text
; Format:
print
; Literary form:
Not fiction
Publication details:
Berlin:
Springer,
2002
Availability:
Items available for loan:
DAU
(1)
Call number:
004 GAC
.
Place hold
Save to lists
3.
Image from Google Jackets
Model checking software : twelfth International SPIN Workshop, San Franscisco, CA, USA, August 22-24, 2005 : proceedings
by
Godefroid, Patrick
Series:
; 3639
|
Lecture notes in computer science
Material type:
Text
; Format:
print
; Literary form:
Not fiction
Publication details:
Berlin:
Springer,
2005
Availability:
Items available for loan:
DAU
(1)
Call number:
004 GOD
.
Place hold
Save to lists
4.
Image from Google Jackets
Introduction to medical software : foundations for digital health, devices, and diagnostics
by
Papademetris, Xenophon
Quraishi, Ayesha N
Licholai, Gregory P
Series:
Cambridge texts in biomedical engineering
Publication details:
Cambridge :
Cambridge University Press,
2022
Availability:
Items available for loan:
DAU
(1)
Call number:
610.285 PAP
.
Place hold
Save to lists
Not finding what you're looking for?
Make a
purchase suggestion