Steffen, Bernhard.
概要
| 作品: | 2 作品在 11 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Mathematical foundations of advanced informatics.. Volume 1,. Inductive approaches
by:
Steffen, Bernhard.; SpringerLink (Online service); Ruthing, Oliver.; Huth, Michael.
(書目-語言資料,印刷品)
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.
(書目-語言資料,印刷品)
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.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Transactions on Foundations for Mastering Change I
by:
SpringerLink (Online service); Steffen, Bernhard.
(書目-語言資料,印刷品)
, [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.
(書目-語言資料,印刷品)
, [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.
(書目-語言資料,印刷品)
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)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Transactions on foundations for mastering change I
by:
Steffen, Bernhard.; SpringerLink (Online service)
(書目-語言資料,印刷品)
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)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques = 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I /
by:
SpringerLink (Online service); Margaria, Tiziana.; Steffen, Bernhard.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends = 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IV /
by:
Steffen, Bernhard.; Margaria, Tiziana.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Leveraging applications of formal methods, verification and validation = modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.. Part I /
by:
SpringerLink (Online service); Margaria, Tiziana.; Steffen, Bernhard.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Leveraging applications of formal methods, verification and validation = modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.. Part II /
by:
Margaria, Tiziana.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Steffen, Bernhard.
(書目-語言資料,印刷品)
SOFSEM 2017 = theory 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:
Workshop on the Preservation of Stability under Discretization ((2001 :); Steffen, Bernhard.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles = 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II /
by:
Steffen, Bernhard.; Margaria, Tiziana.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Leveraging Applications of Formal Methods, Verification and Validation = 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Proceedings /
by:
Steffen, Bernhard.; SpringerLink (Online service); Margaria, Tiziana.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Computing and Software Science = State of the Art and Perspectives /
by:
Steffen, Bernhard.; SpringerLink (Online service); Woeginger, Gerhard.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Leveraging applications of formal methods, verification and validation = modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.. Part III /
by:
SpringerLink (Online service); Margaria, Tiziana.; Steffen, Bernhard.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Tools and Algorithms for the Construction and Analysis of Systems = 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III /
by:
Huisman, Marieke.; Kordon, Fabrice.; Beyer, Dirk.; SpringerLink (Online service); Steffen, Bernhard.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Leveraging applications of formal methods, verification and validation = modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.. Part IV /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Steffen, Bernhard.; Margaria, Tiziana.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning = 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part III /
by:
Steffen, Bernhard.; Margaria, Tiziana.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice = 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV /
by:
Steffen, Bernhard.; SpringerLink (Online service); Margaria, Tiziana.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Leveraging Applications of Formal Methods, Verification and Validation. Practice = 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV /
by:
Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(書目-語言資料,印刷品)
, [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.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles = 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I /
by:
Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Leveraging Applications of Formal Methods, Verification and Validation: Applications = 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III /
by:
Steffen, Bernhard.; SpringerLink (Online service); Margaria, Tiziana.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering = 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II /
by:
SpringerLink (Online service); Margaria, Tiziana.; Steffen, Bernhard.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles = 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I /
by:
SpringerLink (Online service); Margaria, Tiziana.; Steffen, Bernhard.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Mathematical Foundations of Advanced Informatics = Volume 1: Inductive Approaches /
by:
SpringerLink (Online service); Rüthing, Oliver.; Steffen, Bernhard.; Huth, Michael.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/aut]
Leveraging Applications of Formal Methods, Verification and Validation = 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Proceedings /
by:
Steffen, Bernhard.; SpringerLink (Online service); Margaria, Tiziana.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends = 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IV /
by:
SpringerLink (Online service); Margaria, Tiziana.; Steffen, Bernhard.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications = 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II /
by:
Steffen, Bernhard.; Margaria, Tiziana.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Leveraging applications of formal methods, verification and validation = discussion, dissemination, applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016 : proceedings.. Part II /
by:
Margaria, Tiziana.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Steffen, Bernhard.
(書目-語言資料,印刷品)
Leveraging applications of formal methods, verification and validation = foundational techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016 : proceedings.. Part I /
by:
SpringerLink (Online service); Margaria, Tiziana.; Steffen, Bernhard.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
更多
較少的
主題
Computer mathematics.
Computer Communication Networks.
Software engineering.
Computer science
Information Systems Applications (incl. Internet)
Robots
Application software.
Computers.
Data Structures and Information Theory.
Algorithm Analysis and Problem Complexity.
Computer networks .
Operating Systems.
System Performance and Evaluation.
Computers, Special purpose.
Mathematics of Computing.
Data structures (Computer science).
Microprogramming .
Management of Computing and Information Systems.
Special Purpose and Application-Based Systems.
Computer systems.
Computer software
Computation by Abstract Devices.
Formal methods (Computer science)
Computer science—Mathematics.
Computer organization.
Computer engineering.
Programming Techniques.
Computer programming.
Mathematical Logic and Formal Languages.
Computer Applications.
Software engineering
Compilers (Computer programs).
Software Engineering.
Software Engineering/Programming and Operating Systems.
Information theory.
Compilers and Interpreters.
Computer Engineering and Networks.
Logic, Symbolic and mathematical.
Control Structures and Microprogramming.
Computer system failures.
Programming languages (Electronic computers).
Computer System Implementation.
Artificial intelligence.
Theory of Computation.
Logics and Meanings of Programs.
Algorithms.
Computer and Information Systems Applications.
Machine theory.
Computing Methodologies.
Computer logic.
Formal Languages and Automata Theory.
Architecture, Computer.
Computer Science.
Computer simulation.
Special purpose computers.
Computer science.
Management information systems.
Computer Science Logic and Foundations of Programming.
Mathematical logic.
Computer Systems Organization and Communication Networks.
Artificial Intelligence (incl. Robotics)
Artificial Intelligence.
Information Storage and Retrieval.
Computer Science, general.
Programming Languages, Compilers, Interpreters.
The Computing Profession.
Machine learning
Mathematical Applications in Computer Science.
Simulation and Modeling.