Results of search for 'au:" Bernhard Steffen"' › CENTRAL LIBRARY, AMRITA VISHWA VIDYAPEETHAM catalog

Results
1.	Image from Amazon.com	SOFSEM 2017: Theory and Practice of Computer Science by Bernhard Steffen Christel Baier Mark van den Brand Series: Lecture Notes in Computer Science Edition: 1st ed. 2017 Material type: Computer file; Format: electronic Publication details: Springer ; 2017 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
2.	Image from Amazon.com	"Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques" by Tiziana Margaria Bernhard Steffen Series: Lecture Notes in Computer Science Edition: 1st ed. 2016 Material type: Computer file; Format: electronic Publication details: Springer ; 2016 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
3.	Image from Amazon.com	Transactions on Foundations for Mastering Change I by Bernhard Steffen Series: Lecture Notes in Computer Science Edition: 1st ed. 2016 Material type: Computer file; Format: electronic Publication details: Springer ; 2016 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
4.	Image from Amazon.com	"Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications" by Tiziana Margaria Bernhard Steffen Series: Lecture Notes in Computer Science Edition: 2014 Material type: Computer file; Format: electronic Publication details: Springer ; 2014 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
5.	Image from Amazon.com	"Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change" by Tiziana Margaria Bernhard Steffen Material type: Computer file; Format: electronic Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
6.	Image from Amazon.com	"Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications" by Tiziana Margaria Bernhard Steffen Material type: Computer file; Format: electronic Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
7.	Image from Amazon.com	"Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice" by Tiziana Margaria Bernhard Steffen Material type: Computer file; Format: electronic Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
8.	Image from Amazon.com	"Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems" by Tiziana Margaria Bernhard Steffen Material type: Computer file; Format: electronic Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
9.	Image from Amazon.com	"Leveraging Applications of Formal Methods, Verification and Validation. Verification" by Tiziana Margaria Bernhard Steffen Material type: Computer file; Format: electronic Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
10.	Image from Amazon.com	"Leveraging Applications of Formal Methods, Verification and Validation. Modeling" by Tiziana Margaria Bernhard Steffen Material type: Computer file; Format: electronic Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
11.	Image from Amazon.com	Mathematical Foundations of Advanced Informatics by Bernhard Steffen Michael Huth Oliver Ruthing Material type: Computer file; Format: electronic Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
12.	Image from Amazon.com	"Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles" by Tiziana Margaria Bernhard Steffen Series: Lecture Notes in Computer Science Edition: 1st ed. 2020 Material type: Computer file; Format: electronic Publication details: springer ; 2020 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
13.	Image from Amazon.com	"Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles" by Tiziana Margaria Bernhard Steffen Series: Lecture Notes in Computer Science Edition: 1st ed. 2020 Material type: Computer file; Format: electronic Publication details: springer ; 2020 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
14.	Image from Amazon.com	"Leveraging Applications of Formal Methods, Verification and Validation: Applications" by Tiziana Margaria Bernhard Steffen Series: Lecture Notes in Computer Science Edition: 1st ed. 2020 Material type: Computer file; Format: electronic Publication details: springer ; 2020 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
15.	Image from Amazon.com	Computing and Software Science by Bernhard Steffen Gerhard Woeginger Series: Lecture Notes in Computer Science Edition: 2019 Material type: Computer file; Format: electronic Publication details: springer ; 2019 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
16.	Image from Amazon.com	"Model Checking, Synthesis, and Learning" by Ernst Rudiger Olderog Bernhard Steffen Wang Yi Series: Lecture Notes in Computer Science Edition: 1st ed. 2021 Material type: Computer file; Format: electronic Publication details: springer ; 2021 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
17.	Image from Amazon.com	"Leveraging Applications of Formal Methods, Verification and Validation" by Tiziana Margaria Bernhard Steffen Series: Lecture Notes in Computer Science Edition: 1st ed. 2021 Material type: Computer file; Format: electronic Publication details: springer ; 2021 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
18.	Image from Amazon.com	"Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends" by Tiziana Margaria Bernhard Steffen Series: Lecture Notes in Computer Science Edition: 1st ed. 2021 Material type: Computer file; Format: electronic Publication details: springer ; 2021 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
19.		Bridging the Gap Between AI and Reality by Bernhard Steffen Series: Lecture Notes in Computer Science Edition: 1st ed. 2024 Material type: Computer file; Format: electronic Publication details: Springer ; 2024 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
20.	Image from Amazon.com	"Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles" by Tiziana Margaria Bernhard Steffen Series: Lecture Notes in Computer Science Edition: 1st ed. 2022 Material type: Computer file; Format: electronic Publication details: Springer ; 2022 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)