Refine your search

Your search returned 333 results.

Sort
Results
261.
262.
263.
The Composable Enterprise: Agile, Flexible, Innovative [electronic resource] : A Gamechanger for Organisations, Digitisation and Business Software / by
Edition: 1st ed. 2024.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2024 In: Springer Nature eBook
Availability: No items available.

264.
Formal Methods for an Informal World [electronic resource] : ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures / by Series: Lecture Notes in Computer Science ; 13490
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023 In: Springer Nature eBook
Availability: No items available.

265.
266.
267.
268.
Developments in Language Theory [electronic resource] : 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10396
Edition: 1st ed. 2017.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook
Availability: No items available.

269.
270.
271.
Discovering Hidden Gems in Foreign Languages [electronic resource] / by Series: Terrorism, Security, and Computation
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023 In: Springer Nature eBook
Availability: No items available.

272.
Formal Methods: Foundations and Applications [electronic resource] : 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 14414
Edition: 1st ed. 2024.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook
Availability: No items available.

273.
274.
275.
276.
From Lambda Calculus to Cybersecurity Through Program Analysis [electronic resource] : Essays Dedicated to Chris Hankin on the Occasion of His Retirement / by Series: Theoretical Computer Science and General Issues ; 12065
Edition: 1st ed. 2020.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook
Availability: No items available.

277.
Formal Aspects of Component Software [electronic resource] : 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers / by Series: Lecture Notes in Computer Science ; 14485
Edition: 1st ed. 2024.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook
Availability: No items available.

278.
279.
280.
Practical Aspects of Declarative Languages [electronic resource] : 26th International Symposium, PADL 2024, London, UK, January 15–16, 2024, Proceedings / by Series: Lecture Notes in Computer Science ; 14512
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook
Availability: No items available.

Pages
© 2024 IIIT-Delhi, library@iiitd.ac.in