Sirjani, Marjan.
概要
| 作品: | 0 作品在 8 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Principles of modeling = essays dedicated to Edward A. Lee on the occasion of his 60th birthday /
by:
Lohstroh, Marten.; Derler, Patricia.; Sirjani, Marjan.; SpringerLink (Online service)
(書目-語言資料,印刷品)
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:
ter Beek, Maurice H.; SpringerLink (Online service); Sirjani, Marjan.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Principles of Modeling = Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday /
by:
Derler, Patricia.; SpringerLink (Online service); Sirjani, Marjan.; Lohstroh, Marten.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Fundamentals of software engineering = 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013 : revised selected papers /
by:
Sirjani, Marjan.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Arbab, Farhad.
(書目-語言資料,印刷品)
Software engineering and formal methods = 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Sirjani, Marjan.; Cimatti, Alessandro.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Rebeca for actor analysis in action = essays dedicated to Marjan Sirjani on the occasion of her 60th birthda /
by:
Talcott, Carolyn.; Mousavi, Mohammad Reza.; Lee, Edward A.; SpringerLink (Online service); Sirjani, Marjan.
(書目-語言資料,印刷品)
Coordination models and languages = 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012 : proceedings /
by:
SpringerLink (Online service); Sirjani, Marjan.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Fundamentals of software engineering = 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015 : revised selected papers /
by:
SpringerLink (Online service); Sirjani, Marjan.; Workshop on the Preservation of Stability under Discretization ((2001 :); Dastani, Mehdi.
(書目-語言資料,印刷品)
Fundamentals of software engineering = 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011 : revised selected papers /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Arbab, Farhad.; Sirjani, Marjan.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Fundamentals of software engineering = 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017 : revised selected papers /
by:
Sirjani, Marjan.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Dastani, Mehdi.
(書目-語言資料,印刷品)
Software Architecture = 15th European Conference, ECSA 2021, Virtual Event, Sweden, September 13-17, 2021, Proceedings /
by:
Navarro, Elena.; Biffl, Stefan.; SpringerLink (Online service); Sirjani, Marjan.; Weyns, Danny.; Mirandola, Raffaela.; Löwe, Welf.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Software Architecture = 15th European Conference, ECSA 2021, Virtual Event, Sweden, September 13-17, 2021, Proceedings /
by:
Biffl, Stefan.; Navarro, Elena.; SpringerLink (Online service); Weyns, Danny.; Sirjani, Marjan.; Mirandola, Raffaela.; Löwe, Welf.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
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.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
更多
較少的
主題
Computer System Implementation.
Artificial intelligence.
Computer Communication Networks.
Semantic computing.
Software engineering.
Theory of Computation.
Information Systems Applications (incl. Internet)
Logics and Meanings of Programs.
Computer and Information Systems Applications.
Application software.
Cooperating objects (Computer systems)
Computers.
Algorithm Analysis and Problem Complexity.
Computer logic.
Computer networks .
System Performance and Evaluation.
Computers, Special purpose.
Architecture, Computer.
Computer Science.
Computer simulation.
Computer communication systems.
Computer systems.
Special Purpose and Application-Based Systems.
Electronic data processing
Formal methods (Computer science)
Computer organization.
Computer engineering.
Programming Techniques.
Computer programming.
Computer Systems Organization and Communication Networks.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics)
Artificial Intelligence.
Computer Applications.
Software engineering
Programming Languages, Compilers, Interpreters.
Models and Principles.
Software Engineering.
Software Engineering/Programming and Operating Systems.
Modeling languages (Computer science)
The Computing Profession.
Computer Engineering and Networks.
Computer Hardware.
Computer hardware.
Programming languages (Electronic computers).