Refine your search

Your search returned 3356 results.

Sort
Results
1901.
1902.
Formal Methods and Software Engineering [electronic resource] : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings / by Series: Programming and Software Engineering ; 7635
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.

1903.
Rewriting Logic and Its Applications [electronic resource] : 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 6381
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.

1904.
Theory and Practice of Model Transformations [electronic resource] : 4th International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011, Proceedings / by Series: Programming and Software Engineering ; 6707
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.

1905.
Implementation and Application of Functional Languages [electronic resource] : 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 8241
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.

1906.
Practical Aspects of Declarative Languages [electronic resource] : 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings / by Series: Programming and Software Engineering ; 3819
Edition: 1st ed. 2006.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook
Availability: No items available.

1907.
STACS 2007 [electronic resource] : 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007, Proceedings / by Series: Theoretical Computer Science and General Issues ; 4393
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.

1908.
Multiparadigm Programming in Mozart/Oz [electronic resource] : Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers / by Series: Programming and Software Engineering ; 3389
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.

1909.
Distributed Computing and Internet Technology [electronic resource] : 4th International Conference, ICDCIT 2007, Bangalore, India, December, 17-20, 2007, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4882
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.

1910.
Large-Scale Scientific Computing [electronic resource] : 7th International Conference, LSSC 2009, Sozopol, Bulgaria, June 4-8, 2009 Revised Papers / by Series: Theoretical Computer Science and General Issues ; 5910
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.

1911.
1912.
1913.
1914.
Combinatorial Pattern Matching [electronic resource] : 19th Annual Symposium, CPM 2008 Pisa, Italy, June 18-20, 2008, Proceedings / by Series: Theoretical Computer Science and General Issues ; 5029
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
Availability: No items available.

1915.
Transactions on Aspect-Oriented Software Development II [electronic resource] : Focus: AOP Systems, Software and Middleware / by Series: Transactions on Aspect-Oriented Software Development ; 4242
Edition: 1st ed. 2006.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook
Availability: No items available.

1916.
Trends in Functional Programming [electronic resource] : 13th International Symposium, TFP 2012, St Andrews, UK, June 12-14, 2012, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 7829
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.

1917.
Foundations of Information and Knowledge Systems [electronic resource] : 4th International Symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 3861
Edition: 1st ed. 2006.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook
Availability: No items available.

1918.
Functional and Constraint Logic Programming [electronic resource] : 20th International Workshop, WFLP 2011, Odense, Denmark, July 19, 2011, Proceedings / by Series: Theoretical Computer Science and General Issues ; 6816
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.

1919.
Digital Watermarking [electronic resource] : 6th International Workshop, IWDW 2007 Guangzhou, China, December 3-5, 2007, Proceedings / by Series: Security and Cryptology ; 5041
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
Availability: No items available.

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