Your search returned 514 results.

Sort
Results
101.
102.
103.
104.
Leveraging Applications of Formal Methods, Verification and Validation [electronic resource] : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I / by Series: Theoretical Computer Science and General Issues ; 7609
Edition: 1st ed. 2012.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook
Availability: No items available.

105.
106.
107.
108.
109.
110.
Hybrid Learning [electronic resource] : 4th International Conference, ICHL 2011, Hong Kong, China, August 10-12, 2011, Proceedings / by Series: Theoretical Computer Science and General Issues ; 6837
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.

111.
112.
Theory and Application of Satisfiability Testing [electronic resource] : 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, Proceedings / by Series: Theoretical Computer Science and General Issues ; 6695
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.

113.
114.
115.
Integration of Constraint Programming, Artificial Intelligence, and Operations Research [electronic resource] : 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5–8, 2021, Proceedings / by Series: Theoretical Computer Science and General Issues ; 12735
Edition: 1st ed. 2021.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook
Availability: No items available.

116.
117.
DNA Computing and Molecular Programming [electronic resource] : 19th International Conference, DNA 2013, Tempe, AZ, USA, September 22-27, 2013, Proceedings / by Series: Theoretical Computer Science and General Issues ; 8141
Edition: 1st ed. 2013.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013 In: Springer Nature eBook
Availability: No items available.

118.
119.
120.
Brain-Inspired Computing [electronic resource] : International Workshop, BrainComp 2013, Cetraro, Italy, July 8-11, 2013, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 8603
Edition: 1st ed. 2014.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook
Availability: No items available.

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