Refine your search

Your search returned 1242 results.

Sort
Results
1121.
Transactions on Large-Scale Data- and Knowledge-Centered Systems XIII [electronic resource] / by Series: Transactions on Large-Scale Data- and Knowledge-Centered Systems ; 8420
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.

1122.
Integer Programming and Combinatorial Optimization [electronic resource] : 17th International Conference, IPCO 2014, Bonn, Germany, June 23-25, 2014, Proceedings / by Series: Theoretical Computer Science and General Issues ; 8494
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.

1123.
1124.
1125.
Theory and Applications of Formal Argumentation [electronic resource] : Second International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 8306
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.

1126.
RoboCup 2013: Robot World Cup XVII [electronic resource] / by Series: Lecture Notes in Artificial Intelligence ; 8371
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.

1127.
Information Security Theory and Practice. Securing the Internet of Things [electronic resource] : 8th IFIP WG 11.2 International Workshop, WISTP 2014, Heraklion, Crete, Greece, June 30 - July 2, 2014, Proceedings / by Series: Security and Cryptology ; 8501
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.

1128.
1129.
Transactions on Large-Scale Data- and Knowledge-Centered Systems XIV [electronic resource] / by Series: Transactions on Large-Scale Data- and Knowledge-Centered Systems ; 8800
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.

1130.
1131.
Hardware and Software: Verification and Testing [electronic resource] : 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings / by Series: Programming and Software Engineering ; 8855
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.

1132.
Transactions on Large-Scale Data- and Knowledge-Centered Systems XVI [electronic resource] : Selected Papers from ACOMP 2013 / by Series: Transactions on Large-Scale Data- and Knowledge-Centered Systems ; 8960
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.

1133.
Logics in Artificial Intelligence [electronic resource] : 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 8761
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.

1134.
OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools [electronic resource] : First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014, Proceedings / by Series: Programming and Software Engineering ; 8356
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.

1135.
1136.
1137.
1138.
1139.
1140.
Pages
© 2024 IIIT-Delhi, library@iiitd.ac.in