iiithf
Popular repositories Loading
-
concurrent-data-structures
concurrent-data-structures PublicA Concurrent data structure is a particular way of storing and organizing data for access by multiple computing threads (or processes) on a computer.
-
monsoon-courses
monsoon-courses PublicCourses for Monsoon 2020 semester at IIIT Hyderabad (online).
-
principles-of-programming-languages
principles-of-programming-languages PublicPrinciples of Programming Languages is the study of fundamental principles in the design, definition, analysis, and implementation of programming languages, programming systems, and programming int…
-
advanced-computer-networks
advanced-computer-networks PublicA computer network is a group of computers using common communication protocols for sharing resources.
-
advanced-computer-architecture
advanced-computer-architecture PublicComputer architecture is a set of rules and methods that describe the functionality, organization, and implementation of computer systems.
-
software-foundations
software-foundations PublicSoftware Foundations is a broad introduction to the mathematical underpinnings of reliable software.
Coq 4
Repositories
- advanced-computer-networks Public
A computer network is a group of computers using common communication protocols for sharing resources.
iiithf/advanced-computer-networks’s past year of commit activity - software-engineering Public
Software engineering is an engineering-based approach to software development.
iiithf/software-engineering’s past year of commit activity - internals-of-application-servers Public
An application server is a server that hosts applications or software that delivers a business application through a communication protocol.
iiithf/internals-of-application-servers’s past year of commit activity - distributed-systems Public
A distributed system is set of networked components which communicate and coordinate their actions by passing messages to one another.
iiithf/distributed-systems’s past year of commit activity - advanced-computer-architecture Public
Computer architecture is a set of rules and methods that describe the functionality, organization, and implementation of computer systems.
iiithf/advanced-computer-architecture’s past year of commit activity - concurrent-data-structures Public
A Concurrent data structure is a particular way of storing and organizing data for access by multiple computing threads (or processes) on a computer.
iiithf/concurrent-data-structures’s past year of commit activity - optimization-methods Public
An optimization method is a procedure which is executed iteratively by comparing various solutions till an optimum or a satisfactory solution is found.
iiithf/optimization-methods’s past year of commit activity - software-foundations Public
Software Foundations is a broad introduction to the mathematical underpinnings of reliable software.
iiithf/software-foundations’s past year of commit activity
