Showing 741 - 742 results of 742 for search '"Software engineering"', query time: 0.02s
Refine Results
-
741
Automation of verification of well-handledness in Robustness Diagram with Loop and Time Controls by Nique, Kim C.
Call Number: loading...
Located: loading...Thesis loading... -
742
An automated verification of the notions of soundness of robustness diagram with loop and time controls by Ejercito, James Andrew C.
Call Number: loading...
Located: loading...Thesis loading...
Search Tools:
Refine Results
Page will reload when a filter is selected or excluded.- College of Engineering Library II 214 results 214
- Diliman Main Library: Info. Services & Instruction Section 145 results 145
- College of Science and Mathematics 21 results 21
- UP Baguio Main Library 15 results 15
- Lahug Library 12 results 12
- UPV Main Library - Miagao 12 results 12
- College of Engineering Library I 11 results 11
- UP Tacloban Library 11 results 11
- Cesar E.A. Virata School of Business 7 results 7
- College of Arts and Sciences Library 7 results 7
- College of Science 3 results 3
- Diliman Main Library: Serials Section 3 results 3
- School of Library and Information Studies 3 results 3
- School of Economics 2 results 2
- School of Management 2 results 2
- School of Statistics 2 results 2
- UP Mindanao - Main Library 2 results 2
- College of Education 1 results 1
- College of Media and Communication 1 results 1
- Diliman Main Library: University Archives 1 results 1
- Graduate Resource Center 1 results 1
- National Institute for Science & Mathematics Education Development 1 results 1
- National Institute of Physics 1 results 1
- Technology Management Center 1 results 1
- UP Diliman Extension Program in Pampanga 1 results 1
- see all…
- Software engineering 446 results 446
- Electronic books 216 results 216
- Computer science 97 results 97
- Computer software 76 results 76
- Artificial intelligence 56 results 56
- Computer Communication Networks 36 results 36
- Development 33 results 33
- Information systems 31 results 31
- Computer networks 29 results 29
- Management 28 results 28
- Information storage and retrieval systems 26 results 26
- Congresses 17 results 17
- Logic design 17 results 17
- Computer-aided software engineering 15 results 15
- Database management 15 results 15
- Data processing 14 results 14
- Information Systems 14 results 14
- Information technology 13 results 13
- Object-oriented programming (Computer science) 13 results 13
- Software architecture 13 results 13
- Management information systems 12 results 12
- Computer network architectures 11 results 11
- System design 11 results 11
- Business 9 results 9
- Computer programming 9 results 9
- Formal methods (Computer science) 9 results 9
- Systems engineering 9 results 9
- Verification 9 results 9
- Computational intelligence 8 results 8
- Computer programs 8 results 8
- see all…
- SpringerLink (Online service) 184 results 184
- Pressman, Roger S. 16 results 16
- Pfleeger, Shari Lawrence 11 results 11
- Lee, R. Y. (Roger Y.) 7 results 7
- Schach, Stephen R. 7 results 7
- Sommerville, Ian 7 results 7
- Bingham, Richard (Richard John) 6 results 6
- Computer Science On-line Conference Online 6 results 6
- Malinao, Jasmine A. 6 results 6
- Neville-Neil, George 6 results 6
- Silhavy, Radek 6 results 6
- Sommerville, Ian 1951- 6 results 6
- El-Qawasmeh, Eyas 5 results 5
- Nagamalai, Dhinaharan 5 results 5
- Vliet, Hans van 5 results 5
- Campos, Pedro 4 results 4
- Doernhoefer, Mark 4 results 4
- IFIP Conference on Human-Computer Interaction Lisbon, Portugal 4 results 4
- Kim, Kuinam J. 4 results 4
- Chaki, Nabendu 3 results 3
- Cobb, Charles G. 1945- 3 results 3
- Deng, Hepu 3 results 3
- FDL (Conference) Paris, France) 3 results 3
- Fertuck, Len 3 results 3
- Jazayeri, Mehdi 3 results 3
- Jones, Capers 3 results 3
- Latifi, Shahram 3 results 3
- Lei, Jingsheng 3 results 3
- Mandrioli, Dino 3 results 3
- Meghanathan, Natarajan 3 results 3
- see all…