Resultados de 1 a 10 de 38 para Busca Geral
Mostrar Somente
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Capítulo de Livro
|
|
Structural synthesis of programs from refined user requirements (Programming boiler control in NUT)Addibpour, Mattin ; Tyugu, EnnFormal Methods for Industrial Applications, 2005, p.13-34Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 2 |
Material Type: Ata de Congresso
|
|
ForewordCzosseck, Christian ; Tyugu, Enn2011 3rd International Conference on Cyber Conflict, 2011, p.1-2IEEETexto completo disponível |
| 3 |
Material Type: Ata de Congresso
|
|
Visual tool for generative programmingGrigorenko, Pavel ; Saabas, Ando ; Tyugu, EnnFoundations of Software Engineering: Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering; 05-09 Sept. 2005, 2005, p.249-252New York, NY, USA: ACMTexto completo disponível |
| 4 |
Material Type: Artigo
|
|
Visual tool for generative programmingGrigorenko, Pavel ; Saabas, Ando ; Tyugu, EnnSoftware engineering notes, 2005-09, Vol.30 (5), p.249-252Texto completo disponível |
| 5 |
Material Type: Artigo
|
|
COCOVILA – Compiler-Compiler for Visual LanguagesGrigorenko, Pavel ; Saabas, Ando ; Tyugu, EnnElectronic notes in theoretical computer science, 2005-12, Vol.141 (4), p.137-142Elsevier B.VTexto completo disponível |
| 6 |
Material Type: Artigo
|
|
Guest EditorialHall, Robert J ; Tyugu, EnnAutomated software engineering, 2001-01, Vol.8 (1), p.5-6 [Periódico revisado por pares]Dordrecht: Springer Nature B.VTexto completo disponível |
| 7 |
Material Type: Capítulo de Livro
|
|
Automated Program Synthesis for Java Programming LanguageHarf, Mait ; Kindel, Kristiina ; Kotkas, Vahur ; Küngas, Peep ; Tyugu, EnnPerspectives of System Informatics, p.157-164 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 8 |
Material Type: Ata de Congresso
|
|
Automated program synthesis for Java programming languageHARF, Mait ; KINDEL, Kristiina ; KOTKAS, Vahur ; KÜNGAS, Peep ; TYUGU, EnnLecture notes in computer science, 2001, p.157-164 [Periódico revisado por pares]Berlin: SpringerTexto completo disponível |
| 9 |
Material Type: Livro
|
|
Formal design methods for CAD proceedings of the IFIP TC5/WG5.2 Workshop on Formal Design Methods for CAD, Tallinn, Estonia, 16-19 June 194IFIP TC5/WG5.2 Workshop on Formal Design Methods for CAD (1994 Tallinn, Estonia) John S Gero Tyugu, çE. Kh 1935- (çEnn Kharal§dovich)Amsterdam Elsevier New York 1994Localização: EPBC - Esc. Politécnica-Bib Central (004.896 If5f )(Acessar) |
| 10 |
Material Type: Ata de Congresso
|
|
Ontology-based design of surveillance systems with NUTKotkas, V. ; Penjam, J. ; Tyugu, E.Proceedings of the Third International Conference on Information Fusion, 2000, Vol.2, p.WEB4/3-WEB4/9 vol.2IEEETexto completo disponível |
Resultados de 1 a 10 de 38 para Busca Geral
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
Refinar Meus Resultados
Tipo de Recurso
- Artigos (14)
- Anais de Congresso (12)
- Livros (5)
- Book Chapters (5)
- Resenhas (1)
- magazinearticle (1)
-
Mais opções
Assunto
- Computer Science (11)
- Technology (10)
- Science & Technology (10)
- Computer Science, Theory & Methods (7)
- Exact Sciences And Technology (6)
- Applied Sciences (6)
- Computer Science; Control Theory; Systems (6)
- Software (5)
- Software Engineering (3)
- Engineering (3)
- Artificial Intelligence (3)
- Structural Synthesis (3)
- Engineering, Electrical & Electronic (2)
- Command And Control (2)
- Command And Control Systems (2)
- Computer Programming (2)
- Computer Science, Information Systems (2)
- Computer Science, Artificial Intelligence (2)
- Computers (2)
- Autonomous Agents (2)
- Linguística Computacional (1)
- Inteligência Artificial (1)
- Programming (1)
- Constraint Programming (Computer Science) (1)
- Computadores (Aplicações) (1)
- Cad (1)
- Programming (1)
-
Mais opções
Autor/Criador
Data de Publicação
- Antes de1993 (6)
- 1993Até1996 (10)
- 1997Até1999 (3)
- 2000Até2008 (12)
- Após 2008 (7)
-
Mais opções
Biblioteca
Base de Dados/Biblioteca
- ScienceDirect - Connect here FIRST to enable access (12)
- SpringerLINK Lecture Notes in Computer Science Archive (Through 1996) (11)
- SpringerLINK Lecture Notes in Computer Science (2015) (9)
- IEEE Electronic Library (IEL) Conference Proceedings (6)
- Science Citation Index Expanded (Web of Science) (6)
- EZB Electronic Journals Library (4)
- ACM Digital Library Complete (4)
- SpringerLink Books Lecture Notes in Computer Science Archive (3)
- Springer Books Online Archive (3)
- Springer Books (3)
- IngentaConnect Journals (2)
- Springer Nature - Springer Journals All 2022 (2)
- SpringerLink (Online service) (2)
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access (2)
- EBSCOhost Computers and Applied Sciences Complete (1)
- Gale Academic OneFile Select (1)
- ROAD: Directory of Open Access Scholarly Resources (1)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (1)
- EBSCOhost Business Source Complete (1)
-
Mais opções
Idioma
- Inglês (36)
- Russo (2)
- Japonês (1)
-
Mais opções
Nome da Publicação
- Knowledge-Based Systems (5)
- Automated Software Engineering (2)
- Science Of Computer Programming (2)
- Communications Of The Acm (1)
- Future Generation Computer Systems (1)
- Journal Of Visual Languages And Computing (1)
- Artificial Intelligence In Engineering (1)
- Fgcs. Future Generations Computer Systems (1)
- Software Engineering Notes (1)
- Electronic Notes In Theoretical Computer Science (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 