Language: English
Help
Login
Languages
Covers
Jump To : Overview | Titles | Subjects

Steffen, Bernhard.

Overview
Works: 2 works in 11 publications in 1 languages
Titles
Mathematical foundations of advanced informatics.. Volume 1,. Inductive approaches by: Steffen, Bernhard.; SpringerLink (Online service); Ruthing, Oliver.; Huth, Michael. (Language materials, printed)
Leveraging applications of formal methods, verification and validation. Applications and case studies = 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : proceedings.. Part II / by: Steffen, Bernhard.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Margaria, Tiziana. (Language materials, printed)
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems = 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III / by: Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Transactions on Foundations for Mastering Change I by: SpringerLink (Online service); Steffen, Bernhard. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Model Checking, Synthesis, and Learning = Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday / by: Yi, Wang.; SpringerLink (Online service); Steffen, Bernhard.; Olderog, Ernst-Rüdiger. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Leveraging applications of formal methods, verification and validation. Technologies for mastering change = 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : proceedings.. Part I / by: Steffen, Bernhard.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Margaria, Tiziana. (Language materials, printed)
Transactions on foundations for mastering change I by: Steffen, Bernhard.; SpringerLink (Online service) (Language materials, printed)
Leveraging Applications of Formal Methods, Verification and Validation. Modeling = 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I / by: Steffen, Bernhard.; Margaria, Tiziana.; SpringerLink (Online service) (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Leveraging Applications of Formal Methods, Verification and Validation. Verification = 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II / by: Steffen, Bernhard.; Margaria, Tiziana.; SpringerLink (Online service) (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Show more
Subjects
Computer mathematics. Computer System Implementation. Artificial intelligence. Computer Communication Networks. Software engineering. Theory of Computation. Programming Techniques. Computer programming. Computer Systems Organization and Communication Networks. Logics and Meanings of Programs. Mathematical Logic and Formal Languages. Computer science Information Systems Applications (incl. Internet) Algorithms. Robots Computer and Information Systems Applications. Artificial Intelligence (incl. Robotics) Application software. Artificial Intelligence. Computer Applications. Machine theory. Information Storage and Retrieval. Computers. Computing Methodologies. Software engineering Computer Science, general. Programming Languages, Compilers, Interpreters. Compilers (Computer programs). Software Engineering. Software Engineering/Programming and Operating Systems. Data Structures and Information Theory. Algorithm Analysis and Problem Complexity. Computer logic. Computer networks . Operating Systems. Information theory. Formal Languages and Automata Theory. System Performance and Evaluation. Computers, Special purpose. The Computing Profession. Mathematics of Computing. Architecture, Computer. Data structures (Computer science). Computer Science. Microprogramming . Compilers and Interpreters. Computer simulation. Special purpose computers. Computer Engineering and Networks. Management of Computing and Information Systems. Machine learning Mathematical Applications in Computer Science. Special Purpose and Application-Based Systems. Computer systems. Logic, Symbolic and mathematical. Control Structures and Microprogramming. Simulation and Modeling. Computer science. Management information systems. Computer system failures. Programming languages (Electronic computers). Computer software Computation by Abstract Devices. Computer Science Logic and Foundations of Programming. Mathematical logic. Formal methods (Computer science) Computer science—Mathematics. Computer organization. Computer engineering.
 
 
Change password
Login