Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Journal
|
![]() |
|
2 |
Material Type: Journal
|
![]() |
Discrete mathematics and theoretical computer scienceISSN1462-7264Digital Resources/Online E-Resources |
3 |
Material Type: Journal
|
![]() |
|
4 |
Material Type: Journal
|
![]() |
|
5 |
Material Type: Journal
|
![]() |
|
6 |
Material Type: Journal
|
![]() |
International journal of computer science and securityISSN1985-1553Digital Resources/Online E-Resources |
7 |
Material Type: Journal
|
![]() |
International journal of computer science and applicationsISSN0972-9038Digital Resources/Online E-Resources |
8 |
Material Type: Web Resources
|
![]() |
Tabule directionum profectionumqueDigital Resources/Online E-Resources |
9 |
Material Type: Book
|
![]() |
Rabdologiæ, Seu Numerationis Per Virgulas Libri Duo: Cum Appendice de expeditissimo Multiplicationis Promptuario. Quibus accessit & Arithmeticæ Localis Liber unusOCLC: 15655364Digital Resources/Online E-Resources |
10 |
Material Type: Book
|
![]() |
The description and use of two arithmetick instruments : together with a short treatise, explaining and demonstrating the ordinary operations of arithmetick : as likewise a perpetual almanack and several useful tables : presented to ... Charles II ...OCLC: 25462421Digital Resources/Online E-Resources |
11 |
Material Type: Book Chapter
|
![]() |
Sur une nouvelle espece de calculRecueil pour les astronomes, 1771Distributed under a Creative Commons Attribution 4.0 International LicenseDigital Resources/Online E-Resources |
12 |
Material Type: Web Resources
|
![]() |
POLITEHNICA University of Bucharest, UPBDigital Resources/Online E-Resources |
13 |
Material Type: Journal
|
![]() |
The Biblical repertory and theological reviewISSN: 2156-9827 ;OCLC: 6655821 ;LCCN: 00221698Digital Resources/Online E-Resources |
14 |
Material Type: Web Resources
|
![]() |
List of publications relating to forestry in the department libraryDigital Resources/Online E-Resources |
15 |
Material Type: Book Chapter
|
![]() |
REFINEMENT OF FINITE STATE MACHINES WITH COMPLEMENTARY MODEL CHECKINGUML-B Specification for Proven Embedded Systems Design, 1899ISBN: 144195256X ;ISBN: 9781441952561 ;EISBN: 9781402028670 ;EISBN: 1402028679 ;OCLC: 958559697 ;LCCallNum: TK1-9971Full text available |
16 |
Material Type: Book
|
![]() |
UML-B Specification for Proven Embedded Systems DesignISBN: 144195256X ;ISBN: 9781441952561 ;EISBN: 9781402028670 ;EISBN: 1402028679 ;OCLC: 958559697Full text available |
17 |
Material Type: Book Chapter
|
![]() |
THE ADAPTIVE CRUISE CONTROLLER CASE STUDYUML-B Specification for Proven Embedded Systems Design, 1899ISBN: 144195256X ;ISBN: 9781441952561 ;EISBN: 9781402028670 ;EISBN: 1402028679 ;OCLC: 958559697 ;LCCallNum: TK1-9971Full text available |
18 |
Material Type: Book Chapter
|
![]() |
Annex A1 EVALUATION CRITERIA FOR EMBEDDED SYSTEM DESIGN METHODSUML-B Specification for Proven Embedded Systems Design, 1899ISBN: 144195256X ;ISBN: 9781441952561 ;EISBN: 9781402028670 ;EISBN: 1402028679 ;OCLC: 958559697 ;LCCallNum: TK1-9971Full text available |
19 |
Material Type: Book Chapter
|
![]() |
ADAPTIVE CRUISE CONTROL CASE STUDY DESIGN EXPERIMENTUML-B Specification for Proven Embedded Systems Design, 1899ISBN: 144195256X ;ISBN: 9781441952561 ;EISBN: 9781402028670 ;EISBN: 1402028679 ;OCLC: 958559697 ;LCCallNum: TK1-9971Full text available |
20 |
Material Type: Book Chapter
|
![]() |
EMBEDDED SYSTEM DESIGN USING THE PUSSEE METHODUML-B Specification for Proven Embedded Systems Design, 1899ISBN: 144195256X ;ISBN: 9781441952561 ;EISBN: 9781402028670 ;EISBN: 1402028679 ;OCLC: 958559697 ;LCCallNum: TK1-9971Full text available |