Meyer, Bertrand.

概要

作品:	0 作品在 3 項出版品 1 種語言

書目資訊

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]

Handbook of Requirements and Business Analysis by: Meyer, Bertrand.; SpringerLink (Online service) (書目-語言資料,印刷品) , [http://id.loc.gov/vocabulary/relators/aut]

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]

主題

Artificial intelligence. Software engineering. Logics and Meanings of Programs. Information Systems Applications (incl.Internet) Application software. Coding theory. Computer Appl. in Social and Behavioral Sciences. Computers. Database Management. Computer logic. Operating Systems. Coding and Information Theory. System Performance and Evaluation. Information Systems Applications (incl. Internet). Computer Science. Special purpose computers. Management of Computing and Information Systems. Database management. Special Purpose and Application-Based Systems. Computing Milieux. Computer science. Management information systems. Computer software Computer organization. Computers and Education. Education—Data processing. Programming Techniques. Computer programming. Computer Systems Organization and Communication Networks. Mathematical Logic and Formal Languages. Artificial Intelligence (incl. Robotics) Artificial Intelligence. Software engineering Programming Languages, Compilers, Interpreters. Models and Principles. Software Engineering. Software Engineering/Programming and Operating Systems. Computer software. Software Management. Information theory. The Computing Profession. Computer system failures. Programming languages (Electronic computers).