skip to main content
Language:
Your initial search resulted in few or no results. The results below were found by expanding your search.
Results 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
Operational semantics for timed systems a non-standard approach to uniform modeling of timed and hybrid systems
Material Type:
Book 		Add to e-Shelf

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

Heinrich Rust

Berlin Springer New York c2005

Online access. The library also has physical copies.

2
Software engineering concepts
Software engineering concepts
Material Type:
Book 		Add to e-Shelf

Software engineering concepts

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

New York McGraw-Hill c1985

Available at ICMC - Inst. Ciên. Mat. Computação    (68N30.01 F172s e.1 ) and other locations(GetIt)

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
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:
Book 		Add to e-Shelf

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

Available at EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval    (004.8 Ag36 )(GetIt)

4
Software engineering with Ada
Software engineering with Ada
Material Type:
Book 		Add to e-Shelf

Software engineering with Ada

Grady Booch

Menlo Park, Calif. Benjamin/Cummings c1983

Available at EPBC - Esc. Politécnica-Bib Central    (004.43 ADA B644s )(GetIt)

5
Portable C and UNIX system programming
Portable C and UNIX system programming
Material Type:
Book 		Add to e-Shelf

Portable C and UNIX system programming

J. E. Lapin Rabbit Software (Firm)

Englewood Cliffs, N.J. Prentice-Hall c1987

Available at IME - Inst. Matemática e Estatística    (QA752 L313p e.2 )(GetIt)

6
Engineering software for microcomputers proceedings of the first international conference, held in Venice, Italy on 2nd-5th April 1984
Engineering software for microcomputers proceedings of the first international conference, held in Venice, Italy on 2nd-5th April 1984
Material Type:
Book 		Add to e-Shelf

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

Available at EPBC - Esc. Politécnica-Bib Central    (004.41 In8e 1. )(GetIt)

7
Approaches to systems design
Approaches to systems design
Material Type:
Book 		Add to e-Shelf

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

Available at ICMC - Inst. Ciên. Mat. Computação    (68N30.50 N277a e.2 )(GetIt)

8
Concurrency, graphs and models essays dedicated to Ugo Montanari on the occasion of his 65th birthday
Concurrency, graphs and models essays dedicated to Ugo Montanari on the occasion of his 65th birthday
Material Type:
Book 		Add to e-Shelf

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

Available at ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v5065 ) and other locations(GetIt)

9
Software Engineering and Management: Theory and Application: Volume 16
Software Engineering and Management: Theory and Application: Volume 16
Material Type:
Book 		Add to e-Shelf

Software Engineering and Management: Theory and Application: Volume 16

Lee, Roger

Cham: Springer Nature Switzerland 2024

No full-text

Citations Cited by
10
A survey and critique of multiagent deep reinforcement learning
A survey and critique of multiagent deep reinforcement learning
Material Type:
Article 		Add to e-Shelf

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 [Peer Reviewed Journal]

New York: Springer US

Full text available

Citations Cited by
Results 1 2 3 4 5 next page

Personalize your results

  1. Edit

Refine Search Results

Expand My Results

  1.   

Refine My Results

Resource Type 

  1. Articles  (18,231)
  2. Books  (2,279)
  3. Conference Proceedings  (1,238)
  4. magazinearticle  (783)
  5. Reviews  (49)
  6. Web Resources  (1)
  7. Text Resources  (1)
  8. Book Chapters  (1)
  9. More options open sub menu

Subject 

  1. Software Engineering/programming And Operating Systems  (22,548)
  2. Computer Science  (20,670)
  3. Technology  (11,785)
  4. Science & Technology  (11,741)
  5. Computer Systems Organization And Communication Networks  (8,226)
  6. Artificial Intelligence  (7,169)
  7. Software Engineering  (6,146)
  8. Data Structures And Information Theory  (5,882)
  9. Computer Science, Software Engineering  (4,575)
  10. Programming Languages  (4,268)
  11. Computer Hardware  (4,243)
  12. Algorithms  (4,187)
  13. Compilers  (3,936)
  14. Information Systems And Communication Service  (3,715)
  15. Interpreters  (3,572)
  16. Theory Of Computation  (3,226)
  17. Original Research  (2,860)
  18. Vision  (2,827)
  19. Pattern Recognition And Graphics  (2,823)
  20. Computer Imaging  (2,823)
  21. Computer Programming  (799)
  22. Computer Software  (551)
  23. Computer Simulation  (484)
  24. Softwareentwicklung  (164)
  25. Hybrid Systems  (81)
  26. System Analysis  (60)
  27. Engenharia De Software  (8)
  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. Betrieb  (2)
  34. Real-Time Programming  (2)
  35. Computer Programming  (2)
  36. Computer Simulation  (2)
  37. Computer Software  (2)
  38. Computer systems Programming languages: Ada language  (1)
  39. Graph Grammars  (1)
  40. Axiomatische Semantik  (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. More options open sub menu

Creation Date 

From To
Refine
  1. Before1985  (58)
  2. 1985To1994  (284)
  3. 1995To2004  (1,438)
  4. 2005To2015  (7,505)
  5. After 2015  (13,631)
  6. More options open sub menu

Language 

  1. English  (20,191)
  2. German  (2,427)
  3. Japanese  (398)
  4. Norwegian  (7)
  5. French  (4)
  6. More options open sub menu

  • Implemented by: ABCD-USP USP   Social Network Logos: Freepik

Searching Remote Databases, Please Wait

  • Searching for
  • inscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
  • Show me what you have so far