1. Algorithms and data structures :
پدیدآورنده : Selim G. Akl [and others] (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Computer software.,Data structures (Computer science) -- Congresses.
2. Formal methods :
پدیدآورنده : Tiago Massoni, Mohammad Reza Mousavi (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Formal methods (Computer science), Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
F67
3. Software and data technologies :
پدیدآورنده : María José Escalona, José Cordeiro, Boris Shishkov, (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Data structures (Computer science) -- Congresses.,Database management -- Congresses.,Software engineering -- Congresses.
