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 Chapter
|
FORMALLY UNIFIED SYSTEM SPECIFICATION ENVIRONMENT WITH UML, B AND SYSTEMCUML-B Specification for Proven Embedded Systems Design, 1899ISBN: 144195256X ;ISBN: 9781441952561 ;EISBN: 9781402028670 ;EISBN: 1402028679 ;OCLC: 958559697 ;LCCallNum: TK1-9971Full text available |
|
17 |
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 |
|
18 |
Material Type: Book Chapter
|
UML-B SPECIFICATION AND HARDWARE IMPLEMENTATION OF A HAMMING CODER/DECODERUML-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
|
THE PUSSEE METHOD IN PRACTICEUML-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
|
THE UML-B PROFILE FOR FORMAL SYSTEMS MODELLING IN UMLUML-B Specification for Proven Embedded Systems Design, 1899ISBN: 144195256X ;ISBN: 9781441952561 ;EISBN: 9781402028670 ;EISBN: 1402028679 ;OCLC: 958559697 ;LCCallNum: TK1-9971Full text available |