語系
Sirjani, Marjan.
概要
| 作品: | 144 作品在 7 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Coordination models and languages = 24th IFIP WG 6. 1 International Conference, COORDINATION 2022, held as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022 : proceedings /
by:
Sirjani, Marjan.; SpringerLink (Online service); COORDINATION (Conference) (2022 :); International Federated Conferences on Distributed Computing Techniques (2022 :); Beek, Maurice H. ter.
(書目-電子資源)
Fundamentals of software engineering = 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017 : revised selected papers /
by:
Sirjani, Marjan.; SpringerLink (Online service); Dastani, Mehdi.; IPM International Conference on Fundamentals of Software Engineering (2017 :)
(書目-電子資源)
Fundamentals of software engineering = 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011 : revised selected papers /
by:
Arbab, Farhad.; Sirjani, Marjan.; SpringerLink (Online service)
(書目-電子資源)
Principles of modeling = essays dedicated to Edward A. Lee on the occasion of his 60th birthday /
by:
Sirjani, Marjan.; SpringerLink (Online service); Lohstroh, Marten.; Derler, Patricia.
(書目-電子資源)
Fundamentals of software engineering = third IPM international conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009 : revised selected papers /
by:
Arbab, Farhad.; Sirjani, Marjan.; SpringerLink (Online service); International Symposium on Fundamentals of Software Engineering (2009 :)
(書目-語言資料,印刷品)
Software engineering and formal methods = 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017 : proceedings /
by:
International Conference on Software Engineering and Formal Methods (2017 :); Cimatti, Alessandro.; Sirjani, Marjan.; SpringerLink (Online service)
(書目-電子資源)
Rebeca for actor analysis in action = essays dedicated to Marjan Sirjani on the occasion of her 60th birthda /
by:
Sirjani, Marjan.; SpringerLink (Online service); Lee, Edward A.; Mousavi, Mohammad Reza.; Talcott, Carolyn.
(書目-電子資源)
Fundamentals of software engineering = 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015 : revised selected papers /
by:
Sirjani, Marjan.; SpringerLink (Online service); Dastani, Mehdi.
(書目-電子資源)
主題
Software engineering
Mathematical Logic and Formal Languages.
Software Engineering.
Theory of Computation.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Software architecture
Software engineering- Congresses.
Programming Techniques.
Artificial Intelligence (incl. Robotics)
Algorithm Analysis and Problem Complexity.
Computer simulation.
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
Special Purpose and Application-Based Systems.
Modeling languages (Computer science)
Software engineering.
Models and Principles.
Computer Engineering and Networks.
Semantic computing.
The Computing Profession.
Electronic data processing- Distributed processing
Artificial Intelligence.
Computer Science.
System Performance and Evaluation.
Computer Systems Organization and Communication Networks.
Computer Hardware.
Cooperating objects (Computer systems)