Refine your search

Your search returned 2786 results.

Sort
Results
1981.
Languages: From Formal to Natural [electronic resource] : Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday / by Series: Programming and Software Engineering ; 5533
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.

1982.
Transactions of Computational Collective Intelligence IV [electronic resource] / by Series: Transactions on Computational Collective Intelligence ; 6660
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.

1983.
Transactions on Rough Sets XI [electronic resource]. by Series: Transactions on Rough Sets ; 5946
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.

1984.
Ludics, Dialogue and Interaction [electronic resource] : PRELUDE Project — 2006-2009. Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 6505
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.

1985.
Transactions on Computational Systems Biology I [electronic resource]. by Series: Transactions on Computational Systems Biology ; 3380
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.

1986.
The Common Component Modeling Example [electronic resource] : Comparing Software Component Models / by Series: Programming and Software Engineering ; 5153
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.

1987.
Transactions on Computational Systems Biology XII [electronic resource] : Special Issue on Modeling Methodologies. by Series: Transactions on Computational Systems Biology ; 5945
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.

1988.
Transactions on Computational Systems Biology XIII [electronic resource] / by Series: Transactions on Computational Systems Biology ; 6575
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.

1989.
Transactions on Aspect-Oriented Software Development V [electronic resource] : Focus: Aspects, Dependencies and Interactions. by Series: Transactions on Aspect-Oriented Software Development ; 5490
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.

1990.
Transactions on Computational Science I [electronic resource] / by Series: Transactions on Computational Science ; 4750
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.

1991.
Transactions on Computational Science XXIII [electronic resource] : Special Issue on Cyberworlds / by Series: Transactions on Computational Science ; 8490
Edition: 1st ed. 2014.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer Nature eBook
Availability: No items available.

1992.
The Disappearing Computer [electronic resource] : Interaction Design, System Infrastructures and Applications for Smart Environments / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4500
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.

1993.
Generative and Transformational Techniques in Software Engineering II [electronic resource] : International Summer School, GTTSE 2007, Braga, Portugal, July 2-7. 2007, Revised Papers / by Series: Programming and Software Engineering ; 5235
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.

1994.
Transactions on Computational Systems Biology X [electronic resource] / by Series: Transactions on Computational Systems Biology ; 5410
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.

1995.
Data Mining [electronic resource] : Theory, Methodology, Techniques, and Applications / by Series: Lecture Notes in Artificial Intelligence ; 3755
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.

1996.
Rules and Reasoning [electronic resource] : 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18–20, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 14244
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.

1997.
1998.
A Primer on Quantum Computing [electronic resource] / by Series: SpringerBriefs in Computer Science
Edition: 1st ed. 2019.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook
Availability: No items available.

1999.
2000.
List Decoding of Error-Correcting Codes [electronic resource] : Winning Thesis of the 2002 ACM Doctoral Dissertation Competition / by Series: Lecture Notes in Computer Science ; 3282
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.

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