Meyer, Bertrand.
概要
作品: | 0 作品在 3 項出版品 1 種語言 |
---|
書目資訊
Handbook of Requirements and Business Analysis
by:
Meyer, Bertrand.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/aut]
Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment = Second International Workshop, DEVOPS 2019, Château de Villebrumier, France, May 6–8, 2019, Revised Selected Papers /
by:
Meyer, Bertrand.; Mazzara, Manuel.; SpringerLink (Online service); Bruel, Jean-Michel.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Verified Software: Theories, Tools, Experiments = First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions /
by:
Woodcock, Jim.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Meyer, Bertrand.
(書目-語言資料,印刷品)
Present and ulterior software engineering
by:
SpringerLink (Online service); Meyer, Bertrand.; Mazzara, Manuel.
(書目-語言資料,印刷品)
Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment = First International Workshop, DEVOPS 2018, Chateau de Villebrumier, France, March 5-6, 2018, Revised Selected Papers /
by:
SpringerLink (Online service); Bruel, Jean-Michel.; Meyer, Bertrand.; Mazzara, Manuel.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Software engineering = International Summer Schools, LASER 2013-2014, Elba, Italy : revised tutorial lectures /
by:
Nordio, Martin.; SpringerLink (Online service); Meyer, Bertrand.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Software Technology: Methods and Tools = 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings /
by:
Bruel, Jean-Michel.; SpringerLink (Online service); Meyer, Bertrand.; Mazzara, Manuel.; Petrenko, Alexander.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Objects, Components, Models and Patterns = 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings /
by:
Meyer, Bertrand.; SpringerLink (Online service); Paige, Richard F.
(書目-語言資料,印刷品)
Verified Software: Theories, Tools, Experiments = First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Woodcock, Jim.; Meyer, Bertrand.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Software Engineering = International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures /
by:
Meyer, Bertrand.; Nordio, Martin.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Frontiers in Software Engineering Education = First International Workshop, FISEE 2019, Villebrumier, France, November 11–13, 2019, Invited Papers /
by:
SpringerLink (Online service); Bruel, Jean-Michel.; Naumchev, Alexandr.; Mazzara, Manuel.; Capozucca, Alfredo.; Meyer, Bertrand.; Sadovykh, Andrey.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Tools for practical software verification = LASER, International Summer School 2011, Elba Island, Italy : revised tutorial lectures /
by:
Meyer, Bertrand.; Nordio, Martin.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
更多
較少的
主題
Computer organization.
Artificial intelligence.
Software engineering.
Computers and Education.
Education—Data processing.
Computer Science.
Programming Techniques.
Computer programming.
Computer Systems Organization and Communication Networks.
Logics and Meanings of Programs.
Information Systems Applications (incl.Internet)
Mathematical Logic and Formal Languages.
Special purpose computers.
Management of Computing and Information Systems.
Artificial Intelligence (incl. Robotics)
Application software.
Artificial Intelligence.
Database management.
Coding theory.
Computer Appl. in Social and Behavioral Sciences.
Special Purpose and Application-Based Systems.
Computing Milieux.
Computer science.
Management information systems.
Computer system failures.
Computers.
Software engineering
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Models and Principles.
Computer software
Database Management.
Software Engineering.
Software Engineering/Programming and Operating Systems.
Computer software.
Software Management.
Computer logic.
Operating Systems.
Information theory.
Coding and Information Theory.
System Performance and Evaluation.
Information Systems Applications (incl. Internet).
The Computing Profession.