Refine your search

Your search returned 219 results.

Sort
Results
41.
Modelling to Program [electronic resource] : Second International Workshop, M2P 2020, Lappeenranta, Finland, March 10–12, 2020, Revised Selected Papers / by Series: Communications in Computer and Information Science ; 1401
Edition: 1st ed. 2021.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook
Availability: No items available.

42.
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems [electronic resource] : Communications of NII Shonan Meetings / by
Edition: 1st ed. 2021.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2021 In: Springer Nature eBook
Availability: No items available.

43.
Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] : 16th European Conference, ECSQARU 2021, Prague, Czech Republic, September 21–24, 2021, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 12897
Edition: 1st ed. 2021.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook
Availability: No items available.

44.
45.
46.
47.
Wireless Algorithms, Systems, and Applications [electronic resource] : 16th International Conference, WASA 2021, Nanjing, China, June 25–27, 2021, Proceedings, Part I / by Series: Theoretical Computer Science and General Issues ; 12937
Edition: 1st ed. 2021.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook
Availability: No items available.

48.
Membrane Computing Models: Implementations [electronic resource] / by
Edition: 1st ed. 2021.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2021 In: Springer Nature eBook
Availability: No items available.

49.
Evolutionary Computation in Combinatorial Optimization [electronic resource] : 21st European Conference, EvoCOP 2021, Held as Part of EvoStar 2021, Virtual Event, April 7–9, 2021, Proceedings / by Series: Theoretical Computer Science and General Issues ; 12692
Edition: 1st ed. 2021.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook
Availability: No items available.

50.
Computer Information Systems and Industrial Management [electronic resource] : 20th International Conference, CISIM 2021, Ełk, Poland, September 24–26, 2021, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12883
Edition: 1st ed. 2021.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook
Availability: No items available.

51.
An Introduction to Design Science [electronic resource] / by
Edition: 2nd ed. 2021.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook
Availability: No items available.

52.
Multi-Agent Systems [electronic resource] : 18th European Conference, EUMAS 2021, Virtual Event, June 28–29, 2021, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 12802
Edition: 1st ed. 2021.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook
Availability: No items available.

53.
Chinese Lexical Semantics [electronic resource] : 21st Workshop, CLSW 2020, Hong Kong, China, May 28–30, 2020, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 12278
Edition: 1st ed. 2021.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook
Availability: No items available.

54.
55.
Requirements Engineering: Foundation for Software Quality [electronic resource] : 27th International Working Conference, REFSQ 2021, Essen, Germany, April 12–15, 2021, Proceedings / by Series: Programming and Software Engineering ; 12685
Edition: 1st ed. 2021.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook
Availability: No items available.

56.
Distributed Computing and Internet Technology [electronic resource] : 17th International Conference, ICDCIT 2021, Bhubaneswar, India, January 7–10, 2021, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12582
Edition: 1st ed. 2021.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook
Availability: No items available.

57.
Theoretical Computer Science [electronic resource] : 38th National Conference, NCTCS 2020, Nanning, China, November 13–15, 2020, Revised Selected Papers / by Series: Communications in Computer and Information Science ; 1352
Edition: 1st ed. 2021.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2021 In: Springer Nature eBook
Availability: No items available.

58.
59.
Model-Based Engineering of Collaborative Embedded Systems [electronic resource] : Extensions of the SPES Methodology / by
Edition: 1st ed. 2021.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook
Availability: No items available.

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