Refine your search

Your search returned 1155 results.

Sort
Results
621.
622.
623.
624.
Algorithms and Discrete Applied Mathematics [electronic resource] : 4th International Conference, CALDAM 2018, Guwahati, India, February 15-17, 2018, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10743
Edition: 1st ed. 2018.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook
Availability: No items available.

625.
Engineering Multi-Agent Systems [electronic resource] : 5th International Workshop, EMAS 2017, Sao Paulo, Brazil, May 8-9, 2017, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 10738
Edition: 1st ed. 2018.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook
Availability: No items available.

626.
Software Engineering and Formal Methods [electronic resource] : 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10886
Edition: 1st ed. 2018.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook
Availability: No items available.

627.
Human-Computer Interaction. Theories, Methods, and Human Issues [electronic resource] : 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part I / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10901
Edition: 1st ed. 2018.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook
Availability: No items available.

628.
Logic-Based Program Synthesis and Transformation [electronic resource] : 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 10855
Edition: 1st ed. 2018.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook
Availability: No items available.

629.
630.
631.
Sailing Routes in the World of Computation [electronic resource] : 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10936
Edition: 1st ed. 2018.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook
Availability: No items available.

632.
PRICAI 2018: Trends in Artificial Intelligence [electronic resource] : 15th Pacific Rim International Conference on Artificial Intelligence, Nanjing, China, August 28–31, 2018, Proceedings, Part I / by Series: Lecture Notes in Artificial Intelligence ; 11012
Edition: 1st ed. 2018.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook
Availability: No items available.

633.
Computer Security [electronic resource] : 23rd European Symposium on Research in Computer Security, ESORICS 2018, Barcelona, Spain, September 3-7, 2018, Proceedings, Part II / by Series: Security and Cryptology ; 11099
Edition: 1st ed. 2018.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook
Availability: No items available.

634.
Electronic Government and the Information Systems Perspective [electronic resource] : 7th International Conference, EGOVIS 2018, Regensburg, Germany, September 3–5, 2018, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11032
Edition: 1st ed. 2018.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook
Availability: No items available.

635.
Integrated Formal Methods [electronic resource] : 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings / by Series: Programming and Software Engineering ; 11023
Edition: 1st ed. 2018.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook
Availability: No items available.

636.
Principles and Practice of Constraint Programming [electronic resource] : 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings / by Series: Programming and Software Engineering ; 11008
Edition: 1st ed. 2018.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook
Availability: No items available.

637.
Collaboration and Technology [electronic resource] : 24th International Conference, CRIWG 2018, Costa de Caparica, Portugal, September 5-7, 2018, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11001
Edition: 1st ed. 2018.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook
Availability: No items available.

638.
Algorithmic Game Theory [electronic resource] : 11th International Symposium, SAGT 2018, Beijing, China, September 11-14, 2018, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11059
Edition: 1st ed. 2018.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook
Availability: No items available.

639.
Security and Cryptography for Networks [electronic resource] : 11th International Conference, SCN 2018, Amalfi, Italy, September 5–7, 2018, Proceedings / by Series: Security and Cryptology ; 11035
Edition: 1st ed. 2018.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook
Availability: No items available.

640.
Rewriting Logic and Its Applications [electronic resource] : 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings / by Series: Theoretical Computer Science and General Issues ; 11152
Edition: 1st ed. 2018.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook
Availability: No items available.

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