Results of search for 'ccl=su:{Logic.}' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	301.	Euro-Par 2020: Parallel Processing [electronic resource] : 26th International Conference on Parallel and Distributed Computing, Warsaw, Poland, August 24–28, 2020, Proceedings / by Malawski, Maciej [editor.] Rzadca, Krzysztof [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12247 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	302.	Rules and Reasoning [electronic resource] : 4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 – July 1, 2020, Proceedings / by Gutiérrez-Basulto, Víctor [editor.] Kliegr, Tomáš [editor.] Soylu, Ahmet [editor.] Giese, Martin [editor.] Roman, Dumitru [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12173 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	303.	Foundations of Software Technology and Theoretical Computer Science [electronic resource] : Tenth Conference, Bangalore, India, December 17-19, 1990, Proceedings / by Nori, Kesav V [editor.] Veni Madhavan, C.E [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 472 Edition: 1st ed. 1990. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	304.	Adaptive Agents and Multi-Agent Systems [electronic resource] : Adaptation and Multi-Agent Learning / by Alonso, Eduardo [editor.] Kudenko, Daniel [editor.] Kazakov, Dimitar [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2636 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	305.	Globalizing Domain-Specific Languages [electronic resource] : International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers / by Combemale, Benoit [editor.] Cheng, Betty H.C [editor.] France, Robert B [editor.] Jézéquel, Jean-Marc [editor.] Rumpe, Bernhard [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9400 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	306.	Software Engineering and Formal Methods [electronic resource] : 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings / by Calinescu, Radu [editor.] Rumpe, Bernhard [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9276 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	307.	Verification and Evaluation of Computer and Communication Systems [electronic resource] : 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings / by Atig, Mohamed Faouzi [editor.] Bensalem, Saddek [editor.] Bliudze, Simon [editor.] Monsuez, Bruno [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11181 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	308.	String Processing and Information Retrieval [electronic resource] : 25th International Symposium, SPIRE 2018, Lima, Peru, October 9-11, 2018, Proceedings / by Gagie, Travis [editor.] Moffat, Alistair [editor.] Navarro, Gonzalo [editor.] Cuadros-Vargas, Ernesto [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11147 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	309.	Learning and Intelligent Optimization [electronic resource] : 12th International Conference, LION 12, Kalamata, Greece, June 10–15, 2018, Revised Selected Papers / by Battiti, Roberto [editor.] Brunato, Mauro [editor.] Kotsireas, Ilias [editor.] Pardalos, Panos M [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11353 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	310.	Implementation and Application of Automata [electronic resource] : 24th International Conference, CIAA 2019, Košice, Slovakia, July 22–25, 2019, Proceedings / by Hospodár, Michal [editor.] Jirásková, Galina [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11601 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	311.	Numerical Software Verification [electronic resource] : 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings / by Zamani, Majid [editor.] Zufferey, Damien [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11652 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	312.	OpenMP: Conquering the Full Hardware Spectrum [electronic resource] : 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings / by Fan, Xing [editor.] de Supinski, Bronis R [editor.] Sinnen, Oliver [editor.] Giacaman, Nasser [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11718 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	313.	Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] : 15th European Conference, ECSQARU 2019, Belgrade, Serbia, September 18-20, 2019, Proceedings / by Kern-Isberner, Gabriele [editor.] Ognjanović, Zoran [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11726 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	314.	Language and Automata Theory and Applications [electronic resource] : 14th International Conference, LATA 2020, Milan, Italy, March 4–6, 2020, Proceedings / by Leporati, Alberto [editor.] Martín-Vide, Carlos [editor.] Shapira, Dana [editor.] Zandron, Claudio [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12038 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	315.	Knowledge Graphs and Big Data Processing [electronic resource] / by Janev, Valentina [editor.] Graux, Damien [editor.] Jabeen, Hajira [editor.] Sallinger, Emanuel [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12072 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	316.	Euro-Par 2020: Parallel Processing Workshops [electronic resource] : Euro-Par 2020 International Workshops, Warsaw, Poland, August 24–25, 2020, Revised Selected Papers / by Balis, Bartosz [editor.] B. Heras, Dora [editor.] Antonelli, Laura [editor.] Bracciali, Andrea [editor.] Gruber, Thomas [editor.] Hyun-Wook, Jin [editor.] Kuhn, Michael [editor.] Scott, Stephen L [editor.] Unat, Didem [editor.] Wyrzykowski, Roman [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12480 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	317.	Algebraic and Logic Programming [electronic resource] : Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings / by Kirchner, Helene [editor.] Levi, Giorgio [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 632 Edition: 1st ed. 1992. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	318.	Parallel Architectures and Their Efficient Use [electronic resource] : First Heinz Nixdorf Symposium, Paderborn, Germany, November 11-13, 1992. Proceedings / by Meyer auf der Heide, Friedhelm [editor.] Monien, Burkhard [editor.] Rosenberg, Arnold L [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 678 Edition: 1st ed. 1993. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	319.	Functional Programming, Concurrency, Simulation and Automated Reasoning [electronic resource] : International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada / by Lauer, Peter E [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 693 Edition: 1st ed. 1993. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	320.	Computer Science Logic [electronic resource] : 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings / by Börger, Egon [editor.] Jäger, Gerhard [editor.] Kleine Büning, Hans [editor.] Richter, Michael M [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 626 Edition: 1st ed. 1992. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 2449 results.