Your search returned 727 results.

Sort
Results
581.
582.
583.
Transactional Memory. Foundations, Algorithms, Tools, and Applications [electronic resource] : COST Action Euro-TM IC1001 / by Series: Theoretical Computer Science and General Issues ; 8913
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook
Availability: No items available.

584.
ModelEd, TestEd, TrustEd [electronic resource] : Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday / by Series: Programming and Software Engineering ; 10500
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.

585.
Building a National Distributed e-Infrastructure -- PL-Grid [electronic resource] : Scientific and Technical Achievements / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7136
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.

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

587.
Cooperative Bug Isolation [electronic resource] : Winning Thesis of the 2005 ACM Doctoral Dissertation Competition / by Series: Programming and Software Engineering ; 4440
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.

588.
Facing the Multicore-Challenge II [electronic resource] : Aspects of New Paradigms and Technologies in Parallel Computing / by Series: Theoretical Computer Science and General Issues ; 7174
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.

589.
Algorithm Engineering [electronic resource] : Bridging the Gap Between Algorithm Theory and Practice / by Series: Theoretical Computer Science and General Issues ; 5971
Edition: 1st ed. 2010.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook
Availability: No items available.

590.
Peer-to-Peer Systems and Applications [electronic resource] / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 3485
Edition: 1st ed. 2005.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook
Availability: No items available.

591.
Domain Modeling and the Duration Calculus [electronic resource] : International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures / by Series: Theoretical Computer Science and General Issues ; 4710
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.

592.
Semantics, Logics, and Calculi [electronic resource] : Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays / by Series: Theoretical Computer Science and General Issues ; 9560
Edition: 1st ed. 2016.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook
Availability: No items available.

593.
Reachability Problems [electronic resource] : 17th International Conference, RP 2023, Nice, France, October 11–13, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 14235
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.

594.
595.
Advanced Functional Programming [electronic resource] : 6th International School, AFP 2008, Heijen, The Netherlands, May 19-24, 2008, Revised Lectures / by Series: Theoretical Computer Science and General Issues ; 5832
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.

596.
597.
598.
Engineering Secure Software and Systems [electronic resource] : 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings / by Series: Security and Cryptology ; 9639
Edition: 1st ed. 2016.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook
Availability: No items available.

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