Resultados de 1 a 10 de 14.855 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
- Recursos Online (4.901)
- Revistas revisadas por pares (14.814)
Refinado por:
Base de dados/Biblioteca:
SpringerLINK Lecture Notes in Computer Science (2015)
tipo de recurso:
Anais de Congresso
tipo de recurso:
Anais de Congresso
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Ata de Congresso
|
|
Verifying the correctness of AADL modules using model checkingJosko, BernhardLecture notes in computer science, 1990, Vol.430, p.386-400 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 2 |
Material Type: Ata de Congresso
|
|
User interface development: Problems and experiencesSix, H. -W. ; Voss, J.New Results and New Trends in Computer Science, 1991, p.306-319 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 3 |
Material Type: Ata de Congresso
|
|
Modelling dynamic aspects of intentionsDA COSTA MORA, M ; PEREIRA LOPES, G ; COELHO, H ; VICCARI, R. MLecture notes in computer science, 1997, p.179-194 [Periódico revisado por pares]New York NY: Springer-VerlagTexto completo disponível |
| 4 |
Material Type: Ata de Congresso
|
|
Symbolic model checking with rich assertional languagesKESTEN, Y ; MALER, O ; MARCUS, M ; PNUELI, A ; SHAHAR, ELecture notes in computer science, 1997, p.424-435 [Periódico revisado por pares]New York NY: Springer-VerlagTexto completo disponível |
| 5 |
Material Type: Ata de Congresso
|
|
Some thoughts on statecharts, 13 years laterHAREL, DLecture notes in computer science, 1997, p.226-231 [Periódico revisado por pares]New York NY: Springer-VerlagTexto completo disponível |
| 6 |
Material Type: Ata de Congresso
|
|
Programs with quasi-stable channels are effectively recognizableCECE, G ; FINKEL, ALecture notes in computer science, 1997, p.304-315 [Periódico revisado por pares]New York NY: Springer-VerlagTexto completo disponível |
| 7 |
Material Type: Ata de Congresso
|
|
Some progress in the symbolic verification of timed automataBozga, Marius ; Maler, Oded ; Pnueli, Amir ; Yovine, SergioComputer Aided Verification, 1997, Vol.1254, p.179-190 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 8 |
Material Type: Ata de Congresso
|
|
OMIS 2.0 — a universal interface for monitoring systemsLudwig, Thomas ; Wismüller, RolandLecture notes in computer science, 1997, p.267-276 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 9 |
Material Type: Ata de Congresso
|
|
On combining formal and informal verificationYuan, Jun ; Shen, Jian ; Abraham, Jacob ; Aziz, AdnanComputer Aided Verification, 1997, p.376-387 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 10 |
Material Type: Ata de Congresso
|
|
A component-oriented architecture to design multimedia services on a distributed platformFuentes, L. ; Troya, J. M.Lecture notes in computer science, 1997, p.90-105 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
Resultados de 1 a 10 de 14.855 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
- Recursos Online (4.901)
- Revistas revisadas por pares (14.814)
Refinar Meus Resultados
Assunto
- Computer Science (14.452)
- Science & Technology (14.208)
- Technology (14.202)
- Computer Science, Theory & Methods (13.065)
- Computer Science, Hardware & Architecture (10.814)
- Computer Science, Software Engineering (5.125)
- Computer Science, Information Systems (4.221)
- Exact Sciences And Technology (3.223)
- Applied Sciences (3.208)
- Computer Science; Control Theory; Systems (2.814)
- Software (2.401)
- Computer Science, Artificial Intelligence (1.939)
- Telecommunications (1.494)
- Networking And Internet Architecture (1.429)
- Computer Science, Interdisciplinary Applications (1.280)
- Computer Systems And Distributed Systems. User Interface (1.122)
- Software Engineering (753)
- Electronics (620)
- Artificial Intelligence (606)
- Semiconductor Electronics. Microelectronics. Optoelectronics. Solid State Devices (542)
-
Mais opções
Data de Publicação
- Antes de1998 (46)
- 1998Até2003 (1.190)
- 2004Até2009 (6.518)
- 2010Até2016 (4.819)
- Após 2016 (2.370)
-
Mais opções
Base de Dados/Biblioteca
- SpringerLINK Lecture Notes in Computer Science Archive (Through 1996) (14.831)
- Science Citation Index Expanded (Web of Science) (2.757)
- Springer Books (652)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (648)
- IngentaConnect Journals (368)
- ACM Digital Library Complete (186)
- Springer Books Online Archive (80)
- SpringerLink Books Lecture Notes in Computer Science Archive (79)
- Springer Nature - Springer Computer Science eBooks 2011 English International (58)
- Springer Nature - Springer Computer Science eBooks 2012 English International (51)
- SpringerLINK Lecture Notes in Computer Science (2012) (50)
- Recercat (38)
- Springer Nature - Springer Computer Science eBooks 2015 English International (36)
- SpringerLINK Lecture Notes in Computer Science (2014) (36)
- Springer Nature - Springer Computer Science eBooks 2016 English International (21)
- SpringerLINK Lecture Notes in Computer Science (2016) (21)
- IEEE Electronic Library (IEL) Conference Proceedings (19)
- Springer Nature - Springer Computer Science eBooks 2014 English International (17)
- Ghent University Academic Bibliography (8)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 