Refine your search

Your search returned 1334 results.

Sort
Results
1081.
Formal Methods: Foundations and Applications [electronic resource] : 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings / by Series: Programming and Software Engineering ; 8941
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.

1082.
Mobile Web and Intelligent Information Systems [electronic resource] : 12th International Conference, MobiWis 2015, Rome, Italy, August 24-26, 2015, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9228
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.

1083.
Machines, Computations, and Universality [electronic resource] : 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings / by Series: Theoretical Computer Science and General Issues ; 9288
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.

1084.
Web Reasoning and Rule Systems [electronic resource] : 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings. / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9209
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.

1085.
Mathematics of Program Construction [electronic resource] : 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings / by Series: Programming and Software Engineering ; 9129
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.

1086.
1087.
Agent Environments for Multi-Agent Systems IV [electronic resource] : 4th International Workshop, E4MAS 2014 - 10 Years Later, Paris, France, May 6, 2014, Revised Selected and Invited Papers / by Series: Lecture Notes in Artificial Intelligence ; 9068
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.

1088.
1089.
1090.
Languages and Compilers for Parallel Computing [electronic resource] : 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 8967
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.

1091.
Augmented and Virtual Reality [electronic resource] : Second International Conference, AVR 2015, Lecce, Italy, August 31 - September 3, 2015, Proceedings / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 9254
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.

1092.
1093.
Computational Social Networks [electronic resource] : 4th International Conference, CSoNet 2015, Beijing, China, August 4-6, 2015, Proceedings / by Series: Theoretical Computer Science and General Issues ; 9197
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.

1094.
Networked Systems [electronic resource] : Third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015, Revised Selected Papers / by Series: Computer Communication Networks and Telecommunications ; 9466
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.

1095.
Web-Age Information Management [electronic resource] : 16th International Conference, WAIM 2015, Qingdao, China, June 8-10, 2015. Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9098
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.

1096.
1097.
1098.
Modeling and Using Context [electronic resource] : 9th International and Interdisciplinary Conference, CONTEXT 2015, Lanarca, Cyprus, November 2-6,2015. Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 9405
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.

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