Resultados de 1 a 10 de 118.233 para Busca Geral
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Ata de Congresso
|
|
Combining Equivalence Verification and Completion FunctionsAagaard, Mark D. ; Ciubotariu, Vlad C. ; Higgins, Jason T. ; Khalvati, FarzadFormal Methods in Computer-Aided Design, 2004, p.98-112 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 2 |
Material Type: Ata de Congresso
|
|
Synchronization-at-Retirement for Pipeline VerificationAagaard, Mark D. ; Day, Nancy A. ; Jones, Robert B.Formal Methods in Computer-Aided Design, 2004, p.113-127 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 3 |
Material Type: Ata de Congresso
|
|
Relating Multi-step and Single-Step Microprocessor Correctness StatementsAagaard, Mark D. ; Day, Nancy A. ; Lou, MengFormal Methods in Computer-Aided Design, 2002, p.123-141 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 4 |
Material Type: Ata de Congresso
|
|
A methodology for large-scale hardware verificationAAGAARD, Mark D ; JONES, Robert B ; MELHAM, Thomas F ; O'LEARY, John W ; SEGER, Carl-Johan HLecture notes in computer science, 2000, p.263-282 [Periódico revisado por pares]Berlin: SpringerTexto completo disponível |
| 5 |
Material Type: Ata de Congresso
|
|
Towards an ODP-compliant object definition language with QoS-supportAagedal, Jan ØyvindInteractive Distributed Multimedia Systems and Telecommunication Services, 1998, p.183-194 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 6 |
Material Type: Ata de Congresso
|
|
Modelling QoS: Towards a UML ProfileAagedal, Jan Øyvind ; Ecklund, Earl F.Lecture notes in computer science, 2002, p.275-289 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 7 |
Material Type: Ata de Congresso
|
|
Blood bag temperature monitoring systemAalaei, Shokoufeh ; Amini, Shahram ; Keramati, Mohammad Reza ; Shahraki, Hadi ; Abu-Hanna, Ameen ; Eslami, SaeedStudies in health technology and informatics, 2014, Vol.205, p.730-734 [Periódico revisado por pares]NetherlandsTexto completo disponível |
| 8 |
Material Type: Ata de Congresso
|
|
Linking Information with Distributed ObjectsAalberg, TrondLecture notes in computer science, 2001, p.149-160 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 9 |
Material Type: Ata de Congresso
|
|
A Pattern-Based Framework for Best Practice Implementation of CRM/FRBRooAalberg, Trond ; Vennesland, Audun ; Farrokhnia, MalihehNew Trends in Databases and Information Systems, p.438-447 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
| 10 |
Material Type: Ata de Congresso
|
|
Does it work on Sundays, too? Healthcare technology for older peopleAaløkke, Stinne ; Corry, Aino V ; Kramp, GunnarStudies in health technology and informatics, 2007, Vol.130, p.13-21 [Periódico revisado por pares]NetherlandsTexto completo disponível |
Resultados de 1 a 10 de 118.233 para Busca Geral
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Refinar Meus Resultados
Assunto
- Science & Technology (96.985)
- Computer Science (95.880)
- Technology (94.715)
- Computer Science, Theory & Methods (68.710)
- Exact Sciences And Technology (47.692)
- Applied Sciences (44.941)
- Computer Science; Control Theory; Systems (41.834)
- Computer Science, Artificial Intelligence (38.327)
- Computer Science, Information Systems (31.525)
- Software (21.746)
- Artificial Intelligence (18.404)
- Computer Science, Software Engineering (15.682)
- Computer Science, Interdisciplinary Applications (13.590)
- Engineering (9.191)
- Life Sciences & Biomedicine (8.215)
- Theoretical Computing (8.116)
- Learning And Adaptive Systems (7.305)
- Memory Organisation. Data Processing (7.222)
- Computer Science, Hardware & Architecture (7.095)
- Computer Systems And Distributed Systems. User Interface (6.365)
-
Mais opções
Data de Publicação
- Antes de1987 (96)
- 1987Até1995 (924)
- 1996Até2004 (45.990)
- 2005Até2014 (42.096)
- Após 2014 (30.532)
-
Mais opções
Base de Dados/Biblioteca
- SpringerLINK Lecture Notes in Computer Science (2015) (81.064)
- SpringerLink_回溯丛书_Lecture Notes in Computer Science Archive（NSTL购买） (81.060)
- Science Citation Index Expanded (Web of Science) (30.569)
- Springer Books (18.768)
- IngentaConnect Journals (11.251)
- Springer Nature - Springer Computer Science eBooks 2011 English International (6.931)
- DOAJ Directory of Open Access Journals (6.750)
- EZB Electronic Journals Library (6.382)
- IEEE Electronic Library (IEL) Conference Proceedings (5.561)
- BACON - Mir@bel - GLOBAL_LIBRESACCES (5.376)
- ROAD: Directory of Open Access Scholarly Resources (4.219)
- MEDLINE Complete (3.698)
- EDP Sciences (3.686)
- Springer Nature - Springer Computer Science eBooks 2012 English International (3.576)
- IEEE Electronic Library (IEL) Journals (3.417)
- ScienceDirect Journals (3.307)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (3.079)
- Materials Research Database (2.419)
- METADEX (2.406)
- Engineered Materials Abstracts (2.388)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 