skip to main content
Language:
Search Limited to: Search Limited to: Resource type Show Results with: Show Results with: Search type Index

Results 1 - 20 of 5,805,628  for All Library Resources

Results 1 2 3 4 5 next page
Show only
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Journal
Add to My Research

COMPUTER SCIENCE

ISSN1508-2806

Digital Resources/Online E-Resources

2
Material Type:
Journal
Add to My Research

Discrete mathematics and theoretical computer science

ISSN1462-7264

Digital Resources/Online E-Resources

3
Material Type:
Journal
Add to My Research

Journal of Computer Science and Technology

ISSN1666-6046

Digital Resources/Online E-Resources

4
Material Type:
Journal
Add to My Research

Computer Science and Telecommunications

ISSN1512-1232

Digital Resources/Online E-Resources

5
Material Type:
Journal
Add to My Research

Computer Science - Research and Development

ISSN1865-2034

Digital Resources/Online E-Resources

6
Material Type:
Journal
Add to My Research

International journal of computer science and security

ISSN1985-1553

Digital Resources/Online E-Resources

7
Material Type:
Journal
Add to My Research

International journal of computer science and applications

ISSN0972-9038

Digital Resources/Online E-Resources

8
Tabule directionum profectionumque
Material Type:
Web Resources
Add to My Research

Tabule directionum profectionumque

Digital Resources/Online E-Resources

9
Rabdologiæ, Seu Numerationis Per Virgulas Libri Duo: Cum Appendice de expeditissimo Multiplicationis Promptuario. Quibus accessit & Arithmeticæ Localis Liber unus
Material Type:
Book
Add to My Research

Rabdologiæ, Seu Numerationis Per Virgulas Libri Duo: Cum Appendice de expeditissimo Multiplicationis Promptuario. Quibus accessit & Arithmeticæ Localis Liber unus

OCLC: 15655364

Digital Resources/Online E-Resources

10
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 ...
Material Type:
Book
Add to My Research
11
Sur une nouvelle espece de calcul
Material Type:
Book Chapter
Add to My Research

Sur une nouvelle espece de calcul

Recueil pour les astronomes, 1771

Distributed under a Creative Commons Attribution 4.0 International License

Digital Resources/Online E-Resources

12
POLITEHNICA University of Bucharest, UPB
Material Type:
Web Resources
Add to My Research

POLITEHNICA University of Bucharest, UPB

Digital Resources/Online E-Resources

13
The Biblical repertory and theological review
Material Type:
Journal
Add to My Research

The Biblical repertory and theological review

ISSN: 2156-9827 ;OCLC: 6655821 ;LCCN: 00221698

Digital Resources/Online E-Resources

14
List of publications relating to forestry in the department library
Material Type:
Web Resources
Add to My Research

List of publications relating to forestry in the department library

Digital Resources/Online E-Resources

15
REFINEMENT OF FINITE STATE MACHINES WITH COMPLEMENTARY MODEL CHECKING
Material Type:
Book Chapter
Add to My Research

REFINEMENT OF FINITE STATE MACHINES WITH COMPLEMENTARY MODEL CHECKING

UML-B Specification for Proven Embedded Systems Design, 1899

ISBN: 144195256X ;ISBN: 9781441952561 ;EISBN: 9781402028670 ;EISBN: 1402028679 ;OCLC: 958559697 ;LCCallNum: TK1-9971

Full text available

16
FORMALLY UNIFIED SYSTEM SPECIFICATION ENVIRONMENT WITH UML, B AND SYSTEMC
Material Type:
Book Chapter
Add to My Research

FORMALLY UNIFIED SYSTEM SPECIFICATION ENVIRONMENT WITH UML, B AND SYSTEMC

UML-B Specification for Proven Embedded Systems Design, 1899

ISBN: 144195256X ;ISBN: 9781441952561 ;EISBN: 9781402028670 ;EISBN: 1402028679 ;OCLC: 958559697 ;LCCallNum: TK1-9971

Full text available

17
EMBEDDED SYSTEM DESIGN USING THE PUSSEE METHOD
Material Type:
Book Chapter
Add to My Research

EMBEDDED SYSTEM DESIGN USING THE PUSSEE METHOD

UML-B Specification for Proven Embedded Systems Design, 1899

ISBN: 144195256X ;ISBN: 9781441952561 ;EISBN: 9781402028670 ;EISBN: 1402028679 ;OCLC: 958559697 ;LCCallNum: TK1-9971

Full text available

18
UML-B SPECIFICATION AND HARDWARE IMPLEMENTATION OF A HAMMING CODER/DECODER
Material Type:
Book Chapter
Add to My Research

UML-B SPECIFICATION AND HARDWARE IMPLEMENTATION OF A HAMMING CODER/DECODER

UML-B Specification for Proven Embedded Systems Design, 1899

ISBN: 144195256X ;ISBN: 9781441952561 ;EISBN: 9781402028670 ;EISBN: 1402028679 ;OCLC: 958559697 ;LCCallNum: TK1-9971

Full text available

19
THE PUSSEE METHOD IN PRACTICE
Material Type:
Book Chapter
Add to My Research

THE PUSSEE METHOD IN PRACTICE

UML-B Specification for Proven Embedded Systems Design, 1899

ISBN: 144195256X ;ISBN: 9781441952561 ;EISBN: 9781402028670 ;EISBN: 1402028679 ;OCLC: 958559697 ;LCCallNum: TK1-9971

Full text available

20
THE UML-B PROFILE FOR FORMAL SYSTEMS MODELLING IN UML
Material Type:
Book Chapter
Add to My Research

THE UML-B PROFILE FOR FORMAL SYSTEMS MODELLING IN UML

UML-B Specification for Proven Embedded Systems Design, 1899

ISBN: 144195256X ;ISBN: 9781441952561 ;EISBN: 9781402028670 ;EISBN: 1402028679 ;OCLC: 958559697 ;LCCallNum: TK1-9971

Full text available

Results 1 - 20 of 5,805,628  for All Library Resources

Results 1 2 3 4 5 next page

Personalize your results

  1. Edit

Refine Search Results

Expand My Results

  1.   

Show only

  1. Peer-reviewed Journals (2,237,909)

Refine My Results

Creation Date 

From To
  1. Before 1958  (1,918)
  2. 1958 To 1974  (24,730)
  3. 1975 To 1991  (242,556)
  4. 1992 To 2009  (2,376,464)
  5. After 2009  (3,093,008)
  6. More options open sub menu

Resource Type 

  1. Articles  (3,744,369)
  2. magazinearticle  (984,870)
  3. Book Chapters  (375,005)
  4. Reviews  (248,778)
  5. Conference Proceedings  (219,639)
  6. Books  (79,050)
  7. Thesises (postgraduate)  (53,995)
  8. Reports  (34,038)
  9. Patents  (21,925)
  10. Newsletter Articles  (16,266)
  11. Newspaper Articles  (9,105)
  12. Text Resources  (3,960)
  13. Images  (3,675)
  14. Web Resources  (3,583)
  15. References  (3,255)
  16. Standards  (1,293)
  17. Datasets  (1,130)
  18. Other  (462)
  19. Government Documents  (358)
  20. Journals  (353)
  21. Videos  (352)
  22. More options open sub menu

Author/Creator 

  1. Lin, Herbert  (158)
  2. Snyder, Lawrence  (72)
  3. National Research Council (U.S.)  (18)
  4. Computer Science and Telecommunications Board  (13)
  5. National Research Council  (9)
  6. Division on Engineering and Physical Sciences  (7)
  7. National Research Council Staff  (5)
  8. Lin, Herbert  (4)
  9. Lin, Herbert S  (3)
  10. Computer Science and Telecommunications Board Staff  (2)
  11. Wang, Shawn X  (2)
  12. Commission on Physical Sciences, Mathematics, and Applications  (2)
  13. National Research Council (U.S.). Committee on the Past and Present Contexts for the Use of Ada in the Department of Defense  (1)
  14. Committee on Computing and Communications Research to Enable Better Use of Information Technology in Government, National Research Council  (1)
  15. National Research Council, Computer Science and Telecommunications Board Staff  (1)
  16. The Computer Science and Technology Board, National Research Council  (1)
  17. National Research Council Committee on Broadband Last Mile Technology  (1)
  18. Committee on Developing a Cybersecurity Primer: Leveraging Two Decades of National Academies Work  (1)
  19. Committee to Assess the Scope and Direction of Computer Science and Technology, National Research Council  (1)
  20. Snyder, Lawrence  (1)
  21. National Research Council (U.S.). Committee on Academic Careers for Experimental Computer Scientists  (1)
  22. Commission on Physical Science  (1)
  23. Buss, S. R.; Girard, J.-Y.; Lachlan, A  (1)
  24. Committee on Information Technology Research in a Competitive World  (1)
  25. Shortliffe, Edward Hance  (1)
  26. Board on Children, Youth and Families Staff  (1)
  27. National Research Council (U.S), Computer Science and Telecommunications Board Staff  (1)
  28. Academy Industry Program (National Research Council (U.S.))  (1)
  29. National Research Council (U.S.). Naval Studies Board  (1)
  30. Iannotta, Joah G  (1)
  31. Committee on Frontiers at the Interface of Computing and Biology, National Research Council  (1)
  32. Herbert S. Lin  (1)
  33. More options open sub menu

Language 

  1. English  (5,707,163)
  2. Japanese  (162,031)
  3. French  (46,279)
  4. Portuguese  (16,189)
  5. German  (15,934)
  6. Spanish  (14,295)
  7. Chinese  (13,785)
  8. Russian  (7,771)
  9. Croatian  (4,895)
  10. Indonesian  (2,913)
  11. Korean  (2,457)
  12. Ndongo  (1,887)
  13. Arabic  (1,694)
  14. Czech  (1,643)
  15. Ukrainian  (1,630)
  16. Italian  (1,560)
  17. Norwegian  (1,368)
  18. Slovak  (1,076)
  19. Polish  (996)
  20. Lithuanian  (968)
  21. More options open sub menu

Journal Title 

  1. Arxiv  (285,979)
  2. arXiv.org  (587,254)
  3. Computerworld  (122,397)
  4. Eweek  (80,106)
  5. Ieee Access  (79,054)
  6. Informationweek  (79,949)
  7. Infoworld  (71,975)
  8. Network World  (122,094)
  9. Protoview  (92,270)
  10. Scitech Book News  (72,687)
  11. More options open sub menu

Searching Remote Databases, Please Wait