Steffen, Bernhard.

概要

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

書目資訊

Correct system designrecent insights and advances / by: Olderog, E.-R.; SpringerLink (Online service); Steffen, Bernhard. (書目-電子資源)

SOFSEM 2017theory and practice of computer science : 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017 : proceedings / by: (1998 :); SpringerLink (Online service); Steffen, Bernhard. (書目-電子資源)

Computing and software sciencestate of the art and perspectives / by: SpringerLink (Online service); Steffen, Bernhard.; Woeginger, Gerhard. (書目-電子資源)

Transactions on foundations for mastering change I by: SpringerLink (Online service); Steffen, Bernhard. (書目-電子資源)

Model checking, synthesis, and learningessays dedicated to Bengt Jonsson on the occasion of his 60th birthday / by: Jonsson, Bengt.; Olderog, Ernst-Rudiger.; SpringerLink (Online service); Steffen, Bernhard.; Yi, Wang. (書目-電子資源)

Leveraging applications of formal methods, verification and validationmodeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.Part IV / by: (1998 :); Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard. (書目-電子資源)

Leveraging applications of formal methods, verification and validationfoundational techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016 : proceedings.Part I / by: (1998 :); Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard. (書目-電子資源)

Leveraging applications of formal methods, verification and validationmodeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.Part III / by: (1998 :); Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard. (書目-電子資源)

Leveraging Applications of Formal MethodsFirst International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers / by: (1998 :); Maragria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard. (書目-電子資源)

Leveraging applications of formal methods, verification and validationmodeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.Part II / by: (1998 :); Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard. (書目-電子資源)

主題

Software Engineering. Software engineering Mathematical Logic and Formal Languages. Theory of Computation. Computing Methodologies. Computer Science, general. Data Structures and Information Theory. Artificial intelligence Logics and Meanings of Programs. Logic, Symbolic and mathematical. Mathematics of Computing. Software Engineering/Programming and Operating Systems. Computer software Computer systems Operating Systems. Computation by Abstract Devices. Artificial Intelligence (incl. Robotics) Management of Computing and Information Systems. Programming Techniques. Algorithm Analysis and Problem Complexity. Information Systems Applications (incl. Internet) Mathematical Applications in Computer Science. Control Structures and Microprogramming. Formal methods (Computer science) Programming Languages, Compilers, Interpreters. Special Purpose and Application-Based Systems. System design Robots Information Storage and Retrieval. Software engineering. Computer Science Logic and Foundations of Programming. Data Mining and Knowledge Discovery. Computer Engineering and Networks. Information Systems Applications (incl.Internet) Machine learning Computer science The Computing Profession. Artificial Intelligence. Formal Languages and Automata Theory. Computer Science. Computer Communication Networks. Simulation and Modeling. Computer Systems Organization and Communication Networks. Computer science. System Performance and Evaluation. Computer System Implementation. Blockchains (Databases) System design. Computer Applications.