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.
- software-engineering Public
Software engineering is an engineering-based approach to software development.
- 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.
- distributed-systems Public
A distributed system is set of networked components which communicate and coordinate their actions by passing messages to one another.
- advanced-computer-architecture Public
Computer architecture is a set of rules and methods that describe the functionality, organization, and implementation of computer systems.
- 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.
- 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.
- software-foundations Public
Software Foundations is a broad introduction to the mathematical underpinnings of reliable software.