1. Algebraic methodology and software technolog : 6th international conference, AMAST'97 Sydney, Australia, December 13-17, 1997 : proceedings
پدیدآورنده : Michael Johnson )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Software engineering,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
1349
2. Algebraic methodology and software technology :
پدیدآورنده : AMAST '93. M. Nivat ... (ed.). Publ. in collab. with the British Computer Society
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Abstract data types (Computer science) -- Congresses,Software engineering -- Congresses,Softwareentwicklung
3. Algebraic methodology and software technology
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Software engineering ; Congresses. ; Abstract data types (Computer science) ; Congresses. ; Abstract data types (Computer science) ; fast ; (OCoLC)fst00794745. ; Software engineering. ; fast ; (OCoLC)fst01124185. ; Algebraische Methode. ; swd. ; Softwaree
4. Algebraic methodology and software technology :
پدیدآورنده : Michael Johnson, Dusko Pavlovic (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Abstract data types (Computer science), Congresses,Software engineering, Congresses
رده :
QA76
.
758
.
I58
2011
5. Algebraic methodology and software technology : 7th International Conference, AMAST'99, Amazonia, Brazil, January 4-8, 1999 : proceedings
پدیدآورنده : Armando Martin Haeberer )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Software engineering,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
1548
6. Algebraic methodology and software technology : 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996 : proceedings
پدیدآورنده : Martin Wirsing, Maurice Nivat )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Software engineering,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
1101
7. Algebraic methodology and software technology : 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004 : proceedings
پدیدآورنده : Charles Rattray, Savitri Maharaj, Carron Shankland )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Software engineering,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
3116
8. Algebraic methodology and software technology : 8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000 : proceedings
پدیدآورنده : Teodor Rus )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Software engineering,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
1816
9. Algebraic methodology and software technology : 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002 : proceedings
پدیدآورنده : Helene Kirchner, Christophe Ringeissen )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Software engineering,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
2422
10. Automated and algorithmic debugging :
پدیدآورنده : Peter A Fritzson
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Science.,Debugging in computer science -- Congresses.,Engineering & Applied Sciences.
12. Computer Aided Verification :
پدیدآورنده : Isil Dillig, Serdar Tasiran (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification, Congresses.,Computer science.,Logic design.,Software engineering.,Logic in AI.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Software Engineering.,System Performance and Evaluation.,The Computing Profession.,Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification.,Computer science.,Logic design.,Software engineering.
رده :
QA76
.
758
.
C38
2019
13. Information systems and technologies to support learning :
پدیدآورنده : Álvaro Rocha, Mohammed Serrhini, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Education-- Effect of technological innovations on.,Educational innovations, Congresses.,Educational technology, Congresses.,Internet in education.,Artificial intelligence.,EDUCATION-- Administration-- General.,Education-- Effect of technological innovations on.,EDUCATION-- Organizations & Institutions.,Educational innovations.,Educational technology.,Internet in education.
رده :
LB1028
.
3
14. OOIS'96 :
پدیدآورنده : edited by Dilip Patel, Yuan Sun, Shushma Patel.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Database management.,Object-oriented databases -- Congresses.
رده :
QA76
.
9
.
D3
E358
1997
15. Program analysis and compilation, theory and practice :
پدیدآورنده : Thomas Reps, Mooly Sagiv, Jörg Bauer (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Wilhelm, R., (Reinhard),1946-,Wilhelm, R., (Reinhard),1946-,Wilhelm, R.,1946-,Compilers (Computer programs), Congresses.,Computer programming, Congresses.,Computer programs-- Verification, Congresses.,Compilers (Computer programs),Compilers (Computer programs),Computer programming.,Computer programming.,Computer programs-- Verification.,Computer programs-- Verification.,COMPUTERS-- Software Development & Engineering-- Quality Assurance & Testing.,Informatique.
رده :
QA76
.
76
.
V47
P745
2007
16. Software, Services and Systems
پدیدآورنده : \ [edited by] Rocco De Nicola, Rolf Hennicker.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Software engineering -- Congresses,Systems engineering -- Congresses,Abstract data types (Computer science) -- Congresses.,نرم‌افزار -- مهندسی-- کنگره‌ها ,مهندسی س‍ی‍س‍ت‍م ها -- کنگره ها ,داده‌های انتزاعی (کامپیوتر) -- کنگره ها
رده :
QA
76
.
758
.
S62
2015
E-Book
,
17. Software engineering
پدیدآورنده : Oscar Nierstrasz, Michel Lemoine (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Software engineering, Congresses.
