Resultados de 1 a 10 de 624.074 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 (136.715)
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
|
|
UML-B SPECIFICATION AND HARDWARE IMPLEMENTATION OF A HAMMING CODER/DECODERUML-B Specification for Proven Embedded Systems Design, 1899United States: SpringerTexto completo disponível |
| 2 |
Material Type: Capítulo de Livro
|
|
ADAPTIVE CRUISE CONTROL CASE STUDY DESIGN EXPERIMENTUML-B Specification for Proven Embedded Systems Design, 1899United States: SpringerTexto completo disponível |
| 3 |
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 |
| 4 |
Material Type: Capítulo de Livro
|
|
AN INTRODUCTION TO FORMAL METHODSUML-B Specification for Proven Embedded Systems Design, 1899United States: SpringerTexto completo disponível |
| 5 |
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 |
| 6 |
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 |
| 7 |
Material Type: Capítulo de Livro
|
|
THE ADAPTIVE CRUISE CONTROLLER CASE STUDYUML-B Specification for Proven Embedded Systems Design, 1899United States: SpringerTexto completo disponível |
| 8 |
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 |
| 9 |
Material Type: Capítulo de Livro
|
|
BHDLUML-B Specification for Proven Embedded Systems Design, 1899United States: SpringerTexto completo disponível |
| 10 |
Material Type: Capítulo de Livro
|
|
RESULTS OF THE MOBILE DESIGN SYSTEM EXPERIMENTUML-B Specification for Proven Embedded Systems Design, 1899United States: SpringerTexto completo disponível |
Resultados de 1 a 10 de 624.074 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 (136.715)
Refinar Meus Resultados
Assunto
- Computer Science (89.368)
- Science & Technology (85.481)
- Technology (79.075)
- Computer Science, Theory & Methods (51.055)
- Artificial Intelligence (28.470)
- Computer Science, Artificial Intelligence (23.309)
- Computer Science, Information Systems (20.357)
- Applied Sciences (17.517)
- Exact Sciences And Technology (15.920)
- Information Retrieval (15.764)
- Software Engineering (14.413)
- Computer Science; Control Theory; Systems (13.192)
- Computer Science, Software Engineering (12.538)
- Computer Science, Interdisciplinary Applications (11.924)
- Computer Security (11.304)
- Engineering (10.848)
- Physical Sciences (10.242)
- Social Sciences (10.131)
- Life Sciences & Biomedicine (9.504)
- Mathematics (9.073)
-
Mais opções
Data de Publicação
- Antes de1965 (675)
- 1965Até1979 (4.448)
- 1980Até1994 (38.607)
- 1995Até2010 (227.692)
- Após 2010 (302.312)
-
Mais opções
Base de Dados/Biblioteca
- Springer Books (266.504)
- SpringerLINK Lecture Notes in Computer Science (2015) (233.825)
- SpringerLINK Lecture Notes in Computer Science (203.340)
- Springer Books Online Archive (117.548)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (112.318)
- SpringerLink Books Lecture Notes in Computer Science Archive (96.990)
- Gale eBooks (72.244)
- ScienceDirect eBooks (67.761)
- eBook - All Access Books [EBAAB] (64.464)
- Wiley Online Library All Obooks (57.188)
- Wiley Online Book 2010 to present (32.325)
- Springer Nature - Springer Computer Science eBooks 2016 English International (28.875)
- Science Citation Index Expanded (Web of Science) (27.737)
- Springer Nature - Springer Computer Science eBooks 2015 English International (23.596)
- Springer Nature - Springer Computer Science eBooks 2013 English International (19.176)
- SpringerLINK Lecture Notes in Computer Science (2016) (17.629)
- Springer Nature - Springer Computer Science eBooks 2014 English International (17.294)
- Springer Nature - Springer Computer Science eBooks 2012 English International (15.172)
- DOAB: Directory of Open Access Books (14.596)
- SpringerLINK Lecture Notes in Computer Science (2014) (14.571)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 