Refine your search

Your search returned 4164 results.

Sort
Results
1261.
1262.
1263.
1264.
Computer Aided Verification [electronic resource] : 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II / by Series: Lecture Notes in Computer Science ; 13372
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

1265.
Computer Aided Verification [electronic resource] : 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I / by Series: Lecture Notes in Computer Science ; 13371
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

1266.
Machines, Computations, and Universality [electronic resource] : 9th International Conference, MCU 2022, Debrecen, Hungary, August 31 – September 2, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13419
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

1267.
1268.
1269.
1270.
1271.
Advanced Information Systems Engineering [electronic resource] : 23rd International Conference, CAiSE 2011, London, UK, June 20-24, 2011, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6741
Edition: 1st ed. 2011.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook
Availability: No items available.

1272.
1273.
1274.
1275.
1276.
Transactions on Computational Science XII [electronic resource] : Special Issue on Cyberworlds. by Series: Transactions on Computational Science ; 6670
Edition: 1st ed. 2011.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook
Availability: No items available.

1277.
Pattern Recognition [electronic resource] : 33rd DAGM Symposium, Frankfurt/Main, Germany, August 31 - September 2, 2011, Proceedings / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 6835
Edition: 1st ed. 2011.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook
Availability: No items available.

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