Your search returned 8340 results.

Sort
Results
6221.
Algorithmic Learning Theory [electronic resource] : 26th International Conference, ALT 2015, Banff, AB, Canada, October 4-6, 2015, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 9355
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.

6222.
Scalable Uncertainty Management [electronic resource] : 10th International Conference, SUM 2016, Nice, France, September 21-23, 2016, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 9858
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.

6223.
Trust, Privacy and Security in Digital Business [electronic resource] : 14th International Conference, TrustBus 2017, Lyon, France, August 30-31, 2017, Proceedings / by Series: Security and Cryptology ; 10442
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.

6224.
6225.
6226.
6227.
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 9323
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.

6228.
Requirements Engineering: Foundation for Software Quality [electronic resource] : 23rd International Working Conference, REFSQ 2017, Essen, Germany, February 27 – March 2, 2017, Proceedings / by Series: Programming and Software Engineering ; 10153
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.

6229.
Web Technologies and Applications [electronic resource] : 16th Asia-Pacific Web Conference, APWeb 2014, Changsha, China, September 5-7, 2014. Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8709
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.

6230.
6231.
Theory and Practice of Natural Computing [electronic resource] : 5th International Conference, TPNC 2016, Sendai, Japan, December 12-13, 2016, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10071
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.

6232.
Evolutionary Computation in Combinatorial Optimization [electronic resource] : 15th European Conference, EvoCOP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings / by Series: Theoretical Computer Science and General Issues ; 9026
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.

6233.
Reliable Software Technologies – Ada-Europe 2017 [electronic resource] : 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings / by Series: Programming and Software Engineering ; 10300
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.

6234.
Analytical and Stochastic Modelling Techniques and Applications [electronic resource] : 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings / by Series: Programming and Software Engineering ; 9845
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.

6235.
String Processing and Information Retrieval [electronic resource] : 23rd International Symposium, SPIRE 2016, Beppu, Japan, October 18-20, 2016, Proceedings / by Series: Theoretical Computer Science and General Issues ; 9954
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.

6236.
Mathematical and Engineering Methods in Computer Science [electronic resource] : 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers / by Series: Programming and Software Engineering ; 9548
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.

6237.
PRICAI 2016: Trends in Artificial Intelligence [electronic resource] : 14th Pacific Rim International Conference on Artificial Intelligence, Phuket, Thailand, August 22-26, 2016, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 9810
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.

6238.
Deductive Software Verification – The KeY Book [electronic resource] : From Theory to Practice / by Series: Programming and Software Engineering ; 10001
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.

6239.
Graph Transformation [electronic resource] : 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10373
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.

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