skip to main content
Sua busca inicial resultou em poucos registros ou nenhum resultado. Os resultados abaixo foram encontrados ao expandir sua busca.
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Operational semantics for timed systems a non-standard approach to uniform modeling of timed and hybrid systems
Material Type:
Livro
Adicionar ao Meu Espaço

Operational semantics for timed systems a non-standard approach to uniform modeling of timed and hybrid systems

Heinrich Rust

Berlin Springer New York c2005

Acesso online. A biblioteca também possui exemplares impressos.

2
Software engineering concepts
Material Type:
Livro
Adicionar ao Meu Espaço

Software engineering concepts

R. E. Fairley 1937- (Richard E.)

New York McGraw-Hill c1985

Localização: ICMC - Inst. Ciên. Mat. Computação    (68N30.01 F172s e.1 ) e outros locais(Acessar)

3
Agent Based Modelling of Urban Systems First International Workshop, ABMUS 2016, Held in Conjunction with AAMAS, Singapore, Singapore, May 10, 2016, Revised, Selected, and Invited Papers
Material Type:
Livro
Adicionar ao Meu Espaço

Agent Based Modelling of Urban Systems First International Workshop, ABMUS 2016, Held in Conjunction with AAMAS, Singapore, Singapore, May 10, 2016, Revised, Selected, and Invited Papers

Ana Bazzan; Kai Nagel; Mohammad-Reza Namazi-Rad; Lin Padgham; Pascal Perez

Cham Springer 2017

Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval    (004.8 Ag36 )(Acessar)

4
Software engineering with Ada
Material Type:
Livro
Adicionar ao Meu Espaço

Software engineering with Ada

Grady Booch

Menlo Park, Calif. Benjamin/Cummings c1983

Localização: EPBC - Esc. Politécnica-Bib Central    (004.43 ADA B644s )(Acessar)

5
Portable C and UNIX system programming
Material Type:
Livro
Adicionar ao Meu Espaço

Portable C and UNIX system programming

J. E. Lapin Rabbit Software (Firm)

Englewood Cliffs, N.J. Prentice-Hall c1987

Localização: IME - Inst. Matemática e Estatística    (QA752 L313p e.2 )(Acessar)

6
Engineering software for microcomputers proceedings of the first international conference, held in Venice, Italy on 2nd-5th April 1984
Material Type:
Livro
Adicionar ao Meu Espaço

Engineering software for microcomputers proceedings of the first international conference, held in Venice, Italy on 2nd-5th April 1984

International Conference on Engineering Software for Microcomputers (1st 1984 Venice, Italy) B. A Schrefler; R. W Lewis (Roland Wynne); S. A Odorizzi

Swansea, U.K. Pineridge Press 1984

Localização: EPBC - Esc. Politécnica-Bib Central    (004.41 In8e 1. )(Acessar)

7
Approaches to systems design
Material Type:
Livro
Adicionar ao Meu Espaço

Approaches to systems design

NCC Workshop on Approaches to Systems Design (1972 Englefield Green, Eng.) R Boot; National Computing Center Limited

Manchester, Eng. NCC Publications 1973

Localização: ICMC - Inst. Ciên. Mat. Computação    (68N30.50 N277a e.2 )(Acessar)

8
Concurrency, graphs and models essays dedicated to Ugo Montanari on the occasion of his 65th birthday
Material Type:
Livro
Adicionar ao Meu Espaço

Concurrency, graphs and models essays dedicated to Ugo Montanari on the occasion of his 65th birthday

Ugo Montanari; Pierpaolo Degano 1950-; Rocco De Nicola; José Meseguer

Berlin Springer New York c2008

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v5065 ) e outros locais(Acessar)

9
A survey and critique of multiagent deep reinforcement learning
Material Type:
Artigo
Adicionar ao Meu Espaço

A survey and critique of multiagent deep reinforcement learning

Hernandez-Leal, Pablo ; Kartal, Bilal ; Taylor, Matthew E.

Autonomous agents and multi-agent systems, 2019-11, Vol.33 (6), p.750-797 [Periódico revisado por pares]

New York: Springer US

Texto completo disponível

10
Naming the pain in requirements engineering: Contemporary problems, causes, and effects in practice
Material Type:
Artigo
Adicionar ao Meu Espaço

Naming the pain in requirements engineering: Contemporary problems, causes, and effects in practice

Fernández, D. Méndez ; Wagner, S. ; Kalinowski, M. ; Felderer, M. ; Mafra, P. ; Vetrò, A. ; Conte, T. ; Christiansson, M.-T. ; Greer, D. ; Lassenius, C. ; Männistö, T. ; Nayabi, M. ; Oivo, M. ; Penzenstadler, B. ; Pfahl, D. ; Prikladnicki, R. ; Ruhe, G. ; Schekelmann, A. ; Sen, S. ; Spinola, R. ; Tuzcu, A. ; de la Vara, J. L. ; Wieringa, R.

Empirical software engineering : an international journal, 2017-10, Vol.22 (5), p.2298-2338 [Periódico revisado por pares]

New York: Springer US

Texto completo disponível

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (17.729)
  2. Livros  (1.816)
  3. magazinearticle  (775)
  4. Anais de Congresso  (64)
  5. Resenhas  (45)
  6. Recursos Textuais  (1)
  7. Book Chapters  (1)
  8. Mais opções open sub menu

Assunto 

  1. Software Engineering/programming And Operating Systems  (20.399)
  2. Computer Science  (18.633)
  3. Technology  (11.354)
  4. Science & Technology  (11.315)
  5. Computer Systems Organization And Communication Networks  (7.507)
  6. Artificial Intelligence  (6.481)
  7. Data Structures And Information Theory  (5.418)
  8. Software Engineering  (5.377)
  9. Computer Science, Software Engineering  (4.500)
  10. Programming Languages  (4.221)
  11. Algorithms  (4.136)
  12. Compilers  (3.898)
  13. Computer Hardware  (3.801)
  14. Interpreters  (3.549)
  15. Information Systems And Communication Service  (3.459)
  16. Original Research  (2.824)
  17. Vision  (2.795)
  18. Pattern Recognition And Graphics  (2.791)
  19. Computer Imaging  (2.791)
  20. Software  (2.669)
  21. Computer Programming  (753)
  22. Computer Software  (471)
  23. Computer Simulation  (460)
  24. Softwareentwicklung  (150)
  25. Hybrid Systems  (80)
  26. System Analysis  (51)
  27. Engenharia De Software  (9)
  28. Graph Grammars  (8)
  29. Linguagem De Programação  (7)
  30. Engenharia De Software  (6)
  31. Software Compatibility  (3)
  32. Linguagem De Programação  (2)
  33. Real-Time Programming  (2)
  34. Computer Programming  (2)
  35. Computer Simulation  (2)
  36. Computer Software  (2)
  37. Computer systems Programming languages: Ada language  (1)
  38. Graph Grammars  (1)
  39. Axiomatische Semantik  (1)
  40. Betrieb  (1)
  41. Betrieb  (1)
  42. Softwareentwicklung  (1)
  43. System Analysis  (1)
  44. C (Computer Program Language)  (1)
  45. S Emantique  (1)
  46. Calculateurs Hybrides  (1)
  47. Hybrid Systems  (1)
  48. Real-Time Programming  (1)
  49. UNIX (Computer file)  (1)
  50. Calculateurs Hybrides  (1)
  51. Ciência Da Computação (Simulação Computacional)  (1)
  52. Software Compatibility  (1)
  53. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1985  (55)
  2. 1985Até1994  (248)
  3. 1995Até2004  (1.420)
  4. 2005Até2015  (7.033)
  5. Após 2015  (12.494)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (18.183)
  2. Alemão  (2.271)
  3. Japonês  (385)
  4. Norueguês  (7)
  5. Francês  (4)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.