André Fonseca's repositories
-Structured_document_processing
Practical work for structured document processing
Compiler
Work for Compiler course
Language:Haskell000
Language:Java000
Google-Maps-API
Advanced topics database assignment
IndoorLocation
To locate objects or persons inside buildings (out of GPS range)
OperatingSystemConcepts
Pratical exercices for Operating System Concepts class
Language:C000
symbolic-model-checking
Formal verification software assignment