Sirjani, Marjan.
概要
作品: | 2 作品在 7 項出版品 1 種語言 |
---|
書目資訊
Coordination models and languages24th 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:
(1998 :); Beek, Maurice H. ter.; Sirjani, Marjan.; SpringerLink (Online service)
(書目-電子資源)
Fundamentals of software engineering7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017 : revised selected papers /
by:
(1998 :); Dastani, Mehdi.; Sirjani, Marjan.; SpringerLink (Online service)
(書目-電子資源)
Software engineering and formal methods15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017 : proceedings /
by:
(1998 :); Cimatti, Alessandro.; Sirjani, Marjan.; SpringerLink (Online service)
(書目-電子資源)
Fundamentals of software engineeringthird IPM international conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009 : revised selected papers /
by:
(1998 :); Arbab, Farhad.; Sirjani, Marjan.; SpringerLink (Online service)
(書目-電子資源)
Principles of modelingessays dedicated to Edward A. Lee on the occasion of his 60th birthday /
by:
Derler, Patricia.; Lohstroh, Marten.; Sirjani, Marjan.; SpringerLink (Online service)
(書目-電子資源)
Fundamentals of software engineering6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015 : revised selected papers /
by:
(1998 :); Dastani, Mehdi.; Sirjani, Marjan.; SpringerLink (Online service)
(書目-電子資源)
Fundamentals of software engineering4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011 : revised selected papers /
by:
(1998 :); Arbab, Farhad.; Sirjani, Marjan.; SpringerLink (Online service)
(書目-電子資源)
Coordination models and languages14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012 : proceedings /
by:
(1998 :); Sirjani, Marjan.; SpringerLink (Online service)
(書目-電子資源)
主題
Software engineering
Mathematical Logic and Formal Languages.
Software Engineering.
Theory of Computation.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Electronic data processing
Software architecture
Programming Techniques.
Information Systems Applications (incl. Internet)
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.
Models and Principles.
Computer Engineering and Networks.
Semantic computing.
The Computing Profession.
Artificial Intelligence.
Computer Science.
Computer Communication Networks.
System Performance and Evaluation.
Computer Systems Organization and Communication Networks.
Computer Hardware.
Cooperating objects (Computer systems)