Refine your search

Your search returned 7935 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
2621.
Performance Evaluation: Metrics, Models and Benchmarks [electronic resource] : SPEC International Performance Evaluation Workshop, SIPEW 2008, Darmstadt, Germany, June 27-28, 2008, Proceedings / by Series: Programming and Software Engineering ; 5119
Edition: 1st ed. 2008.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008 In: Springer Nature eBook
Online access:
Availability: No items available.

Add to cart
2622.
Advances in Swarm Intelligence, Part II [electronic resource] : Second International Conference, ICSI 2011, Chongqing, China, June 12-15, 2011, Proceedings, Part II / by Series: Theoretical Computer Science and General Issues ; 6729
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
Online access:
Availability: No items available.

Add to cart
2623.
Formal Methods: Foundations and Applications [electronic resource] : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings / by Series: Programming and Software Engineering ; 7498
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
Online access:
Availability: No items available.

Add to cart
2624.
Utility Computing [electronic resource] : 15th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2004, Davis, CA, USA, November 15-17, 2004. Proceedings / by Series: Lecture Notes in Computer Science ; 3278
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Online access:
Availability: No items available.

Add to cart
2625.
Transactions on Computational Systems Biology XIV [electronic resource] : Special Issue on Computational Models for Cell Processes / by Series: Transactions on Computational Systems Biology ; 7625
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
Online access:
Availability: No items available.

Add to cart
2626.
Programming Languages and Systems [electronic resource] : 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings / by Series: Programming and Software Engineering ; 9458
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
Online access:
Availability: No items available.

Add to cart
2627.
Networked Systems [electronic resource] : 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papers / by Series: Computer Communication Networks and Telecommunications ; 9944
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
Online access:
Availability: No items available.

Add to cart
2628.
CONCUR 2005 - Concurrency Theory [electronic resource] : 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings / by Series: Theoretical Computer Science and General Issues ; 3653
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
Online access:
Availability: No items available.

Add to cart
2629.
Computer Aided Verification [electronic resource] : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I / by Series: Theoretical Computer Science and General Issues ; 10426
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
Online access:
Availability: No items available.

Add to cart
2630.
Euro-Par 2010 - Parallel Processing [electronic resource] : 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part II / by Series: Theoretical Computer Science and General Issues ; 6272
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
Online access:
Availability: No items available.

Add to cart
2631.
Unconventional Computation [electronic resource] : 10th International Conference, UC 2011, Turku, Finland, June 6-10, 2011. Proceedings / by Series: Theoretical Computer Science and General Issues ; 6714
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
Online access:
Availability: No items available.

Add to cart
2632.
Methods and Tools of Parallel Programming Multicomputers [electronic resource] : Second Russia-Taiwan Symposium, MTPP 2010, Vladivostok, Russia, May 16-19, 2010, Revised Selected Papers / by Series: Programming and Software Engineering ; 6083
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
Online access:
Availability: No items available.

Add to cart
2633.
Cryptographic Hardware and Embedded Systems - CHES 2007 [electronic resource] : 9th International Workshop, Vienna, Austria, September 10-13, 2007, Proceedings / by Series: Security and Cryptology ; 4727
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
Online access:
Availability: No items available.

Add to cart
2634.
Business Process Management [electronic resource] : 10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 2012, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7481
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
Online access:
Availability: No items available.

Add to cart
2635.
Combinatorics on Words [electronic resource] : 9th International Conference, WORDS 2013, Turku, Finland, September 16-20, 2013, Proceedings / by Series: Theoretical Computer Science and General Issues ; 8079
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
Online access:
Availability: No items available.

Add to cart
2636.
Automated Technology for Verification and Analysis [electronic resource] : 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings / by Series: Programming and Software Engineering ; 6252
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
Online access:
Availability: No items available.

Add to cart
2637.
Human Language Technology. Challenges of the Information Society [electronic resource] : Third Language and Technology Conference, LTC 2007, Poznan, Poland, October 5-7, 2007, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 5603
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
Online access:
Availability: No items available.

Add to cart
2638.
Learning Theory [electronic resource] : 17th Annual Conference on Learning Theory, COLT 2004, Banff, Canada, July 1-4, 2004, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 3120
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Online access:
Availability: No items available.

Add to cart
2639.
Implementation and Application of Automata [electronic resource] : 12th International Conference, CIAA 2007, Prague, Czech Republic, July 16-18, 2007, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 4783
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
Online access:
Availability: No items available.

Add to cart
2640.
Progress in Cryptology - INDOCRYPT 2005 [electronic resource] : 6th International Conference on Cryptology in India, Bangalore, India, December 10-12, 2005, Proceedings / by Series: Security and Cryptology ; 3797
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
Online access:
Availability: No items available.

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