Steffen, Bernhard.

Overview

Works:	0 works in 25 publications in 1 languages

Titles

Correct system designrecent insights and advances / by: Olderog, E.-R.; SpringerLink (Online service); Steffen, Bernhard. (Electronic resources)

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. (Electronic resources)

Computing and software sciencestate of the art and perspectives / by: SpringerLink (Online service); Steffen, Bernhard.; Woeginger, Gerhard. (Electronic resources)

Transactions on foundations for mastering change I by: SpringerLink (Online service); Steffen, Bernhard. (Electronic resources)

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. (Electronic resources)

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. (Electronic resources)

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. (Electronic resources)

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. (Electronic resources)

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. (Electronic resources)

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. (Electronic resources)

Subjects

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.