Refine your search

Your search returned 3358 results.

Sort
Results
1121.
1122.
1123.
1124.
1125.
Term Rewriting and Applications [electronic resource] : 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings / by Series: Theoretical Computer Science and General Issues ; 3467
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.

1126.
A 25-Year Perspective on Logic Programming [electronic resource] : Achievements of the Italian Association for Logic Programming, GULP / by Series: Programming and Software Engineering ; 6125
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.

1127.
Programming Languages [electronic resource] : 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, September 29- October 4, 2013, Proceedings / by Series: Programming and Software Engineering ; 8129
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.

1128.
Network Control and Optimization [electronic resource] : First EuroFGI International Conference, NET-COOP 2007, Avignon, France, June 5-7, 2007, Proceedings / by Series: Computer Communication Networks and Telecommunications ; 4465
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.

1129.
Rewriting and Typed Lambda Calculi [electronic resource] : Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings / by Series: Theoretical Computer Science and General Issues ; 8560
Edition: 1st ed. 2014.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook
Availability: No items available.

1130.
Trust, Privacy and Security in Digital Business [electronic resource] : 7th International Conference, TrustBus 2010, Bilbao, Spain, August 30-31, 2010, Proceedings / by Series: Security and Cryptology ; 6264
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.

1131.
Advances in Swarm Intelligence [electronic resource] : First International Conference, ICSI 2010, Beijing, China, June 12-15, 2010, Proceedings, Part I / by Series: Theoretical Computer Science and General Issues ; 6145
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.

1132.
Model Driven Engineering Languages and Systems [electronic resource] : 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009, Proceedings / by Series: Programming and Software Engineering ; 5795
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.

1133.
Symbolic and Quantiative Approaches to Resoning with Uncertainty [electronic resource] : 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 7958
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.

1134.
Distributed Computing [electronic resource] : 19th International Conference, DISC 2005, Cracow, Poland, September 26-29, 2005, Proceedings / by Series: Theoretical Computer Science and General Issues ; 3724
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.

1135.
Functional and Logic Programming [electronic resource] : 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012, Proceedings / by Series: Theoretical Computer Science and General Issues ; 7294
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.

1136.
Graph Transformation [electronic resource] : 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings / by Series: Theoretical Computer Science and General Issues ; 9761
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.

1137.
Motion in Games [electronic resource] : Third International Conference, MIG 2010, Utrecht, The Netherlands, November 14-16, 2010, Proceedings / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 6459
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.

1138.
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
Availability: No items available.

1139.
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
Availability: No items available.

1140.
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
Availability: No items available.

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