Resultados de 1 a 10 de 1.072.646 para Busca Geral
Ordenado por:
Ordenado por:
Data mais antigaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
- Revistas revisadas por pares (78.727)
Refinado por:
tipo de recurso:
Book Chapters
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Capítulo de Livro
|
|
INTRODUCTIONSmiles, SLives of the Engineers. Locomotive, 1877United Kingdom: Institution of Civil EngineersTexto completo disponível |
| 2 |
Material Type: Capítulo de Livro
|
|
IntroSmiles, SLives of the Engineers. Locomotive, 1877United Kingdom: Institution of Civil EngineersTexto completo disponível |
| 3 |
Material Type: Capítulo de Livro
|
|
REFINEMENT OF FINITE STATE MACHINES WITH COMPLEMENTARY MODEL CHECKINGUML-B Specification for Proven Embedded Systems Design, 1899United States: SpringerTexto completo disponível |
| 4 |
Material Type: Capítulo de Livro
|
|
THE UML-B PROFILE FOR FORMAL SYSTEMS MODELLING IN UMLUML-B Specification for Proven Embedded Systems Design, 1899United States: SpringerTexto completo disponível |
| 5 |
Material Type: Capítulo de Livro
|
|
UML-B SPECIFICATION FOR PROVEN EMBEDDED SYSTEMS DESIGNUML-B Specification for Proven Embedded Systems Design, 1899United States: SpringerTexto completo disponível |
| 6 |
Material Type: Capítulo de Livro
|
|
FORMALLY UNIFIED SYSTEM SPECIFICATION ENVIRONMENT WITH UML, B AND SYSTEMCUML-B Specification for Proven Embedded Systems Design, 1899United States: SpringerTexto completo disponível |
| 7 |
Material Type: Capítulo de Livro
|
|
UML-B SPECIFICATION AND HARDWARE IMPLEMENTATION OF A HAMMING CODER/DECODERUML-B Specification for Proven Embedded Systems Design, 1899United States: SpringerTexto completo disponível |
| 8 |
Material Type: Capítulo de Livro
|
|
FORMAL MODELLING OF ELECTRONIC CIRCUITS USING EVENT-BUML-B Specification for Proven Embedded Systems Design, 1899United States: SpringerTexto completo disponível |
| 9 |
Material Type: Capítulo de Livro
|
|
TOWARDS A CONCEPTUAL FRAMEWORK FOR UML TO HARDWARE DESCRIPTION LANGUAGE MAPPINGSUML-B Specification for Proven Embedded Systems Design, 1899United States: SpringerTexto completo disponível |
| 10 |
Material Type: Capítulo de Livro
|
|
EMBEDDED SYSTEM DESIGN USING THE PUSSEE METHODUML-B Specification for Proven Embedded Systems Design, 1899United States: SpringerTexto completo disponível |
Resultados de 1 a 10 de 1.072.646 para Busca Geral
Ordenado por:
Ordenado por:
Data mais antigaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
- Revistas revisadas por pares (78.727)
Refinar Meus Resultados
Assunto
- Science & Technology (99.329)
- Technology (82.256)
- Computer Science (43.040)
- Engineering (41.821)
- Materials Science (31.830)
- Physical Sciences (26.198)
- Computer Science, Theory & Methods (22.547)
- Engineering: General (19.313)
- Life Sciences & Biomedicine (19.212)
- Artificial Intelligence (18.565)
- Mechanical Engineering & Materials (17.383)
- Applied Sciences (16.649)
- Software Engineering (16.183)
- General References (15.275)
- Chemistry (14.172)
- Technology & Engineering (12.664)
- Computer Science, Software Engineering (12.524)
- Environmental Engineering & Technology (11.395)
- Computer Science, Artificial Intelligence (11.189)
- Computer Science, Information Systems (10.491)
-
Mais opções
Data de Publicação
- Antes de1961 (2.292)
- 1961Até1976 (32.420)
- 1977Até1992 (126.554)
- 1993Até2009 (310.878)
- Após 2009 (523.775)
-
Mais opções
Base de Dados/Biblioteca
- Elsevier ScienceDirect eBook - All Access Books (382.750)
- ScienceDirect eBooks (372.537)
- Springer Books (293.769)
- Springer Books Online Archive (166.357)
- Wiley Online Library All Obooks (160.170)
- Wiley Online Book 2010 to present (87.610)
- SpringerLINK Lecture Notes in Computer Science (2015) (81.054)
- Gale eBooks (80.903)
- SpringerLINK Lecture Notes in Computer Science Archive (Through 1996) (70.905)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (41.742)
- SpringerLink Books Lecture Notes in Computer Science Archive (39.685)
- DOAB: Directory of Open Access Books (38.768)
- ScienceDirect (28.560)
- JSTOR eBooks (18.836)
- OAPEN (17.521)
- Taylor & Francis eBooks A-Z (16.231)
- Springer Nature - Springer Computer Science eBooks 2016 English International (14.068)
- InTech Open Access Books (14.015)
- Science Citation Index Expanded (Web of Science) (12.701)
- Springer Nature - Springer Computer Science eBooks 2015 English International (12.188)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 