Refine your search

Your search returned 4327 results.

Sort
Results
3401.
Empirical Software Engineering and Verification [electronic resource] : International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures / by Series: Programming and Software Engineering ; 7007
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.

3402.
Number Theory and Cryptography [electronic resource] : Papers in Honor of Johannes Buchmann on the Occasion of His 60th Birthday / by Series: Theoretical Computer Science and General Issues ; 8260
Edition: 1st ed. 2013.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook
Availability: No items available.

3403.
Transactions on Pattern Languages of Programming I [electronic resource] / by Series: Transactions on Pattern Languages of Programming ; 5770
Edition: 1st ed. 2009.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook
Availability: No items available.

3404.
In Search of Elegance in the Theory and Practice of Computation [electronic resource] : Essays dedicated to Peter Buneman / by Series: Theoretical Computer Science and General Issues ; 8000
Edition: 1st ed. 2013.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook
Availability: No items available.

3405.
Facing the Multicore-Challenge III [electronic resource] : Aspects of New Paradigms and Technologies in Parallel Computing / by Series: Theoretical Computer Science and General Issues ; 7686
Edition: 1st ed. 2013.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook
Availability: No items available.

3406.
Journal on Data Semantics XIV [electronic resource] / by Series: Journal on Data Semantics ; 5880
Edition: 1st ed. 2009.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook
Availability: No items available.

3407.
Transactions on Aspect-Oriented Software Development IX [electronic resource] / by Series: Transactions on Aspect-Oriented Software Development ; 7271
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.

3408.
Transactions on Aspect-Oriented Software Development IV [electronic resource] : Focus: Early Aspects and Aspects of Software Evolution / by Series: Transactions on Aspect-Oriented Software Development ; 4640
Edition: 1st ed. 2007.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook
Availability: No items available.

3409.
Transactions on Large-Scale Data- and Knowledge-Centered Systems VII [electronic resource] / by Series: Transactions on Large-Scale Data- and Knowledge-Centered Systems ; 7720
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.

3410.
Artificial Intelligence and Natural Language [electronic resource] : 9th Conference, AINL 2020, Helsinki, Finland, October 7–9, 2020, Proceedings / by Series: Communications in Computer and Information Science ; 1292
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.

3411.
3412.
3413.
User-Defined Tensor Data Analysis [electronic resource] / by Series: SpringerBriefs in Computer Science
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.

3414.
3415.
Blockchain Technologies in the Textile and Fashion Industry [electronic resource] / by Series: Textile Science and Clothing Technology
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

3416.
Developing Sustainable and Energy-Efficient Software Systems [electronic resource] / by Series: SpringerBriefs in Computer Science
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.

3417.
AI and Blockchain in Healthcare [electronic resource] / by Series: Advanced Technologies and Societal Change
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2023 In: Springer Nature eBook
Availability: No items available.

3418.
Information and Communications Security [electronic resource] : 25th International Conference, ICICS 2023, Tianjin, China, November 18–20, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 14252
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2023 In: Springer Nature eBook
Availability: No items available.

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