Results of search for 'su:{Models of Computation.}' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	1.	Engineering Psychology and Cognitive Ergonomics. Understanding Human Cognition [electronic resource] : 10th International Conference, EPCE 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I / by Harris, Don [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8019 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2.	Cognitive Behavioural Systems [electronic resource] : COST 2102 International Training School, Dresden, Germany, February 21-26, 2011, Revised Selected Papers / by Esposito, Anna [editor.] Esposito, Antonietta M [editor.] Vinciarelli, Alessandro [editor.] Hoffmann, Rüdiger [editor.] Müller, Vincent [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7403 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3.	Designing the Digital Transformation [electronic resource] : 12th International Conference, DESRIST 2017, Karlsruhe, Germany, May 30 – June 1, 2017, Proceedings / by Maedche, Alexander [editor.] vom Brocke, Jan [editor.] Hevner, Alan [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10243 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4.	The Internet of Things in the Industrial Sector [electronic resource] : Security and Device Connectivity, Smart Environments, and Industry 4.0 / by Mahmood, Zaigham [editor.] SpringerLink (Online service) Series: Computer Communications and Networks 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)
	5.	Designing Thriving Systems [electronic resource] : Marrying Technical Rationality and Appreciative Systems / by Waguespack, Leslie J [author.] SpringerLink (Online service) 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)
	6.	Models, Mindsets, Meta: The What, the How, and the Why Not? [electronic resource] : Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday / by Margaria, Tiziana [editor.] Graf, Susanne [editor.] Larsen, Kim G [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11200 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)
	7.	Connectomics in NeuroImaging [electronic resource] : Third International Workshop, CNI 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 13, 2019, Proceedings / by Schirmer, Markus D [editor.] Venkataraman, Archana [editor.] Rekik, Islem [editor.] Kim, Minjeong [editor.] Chung, Ai Wern [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 11848 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)
	8.	Evolutionary Multi-Criterion Optimization [electronic resource] : 11th International Conference, EMO 2021, Shenzhen, China, March 28–31, 2021, Proceedings / by Ishibuchi, Hisao [editor.] Zhang, Qingfu [editor.] Cheng, Ran [editor.] Li, Ke [editor.] Li, Hui [editor.] Wang, Handing [editor.] Zhou, Aimin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12654 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)
	9.	Data, Information, and Time [electronic resource] : The DIT Model / by Kopetz, Hermann [author.] SpringerLink (Online service) Series: SpringerBriefs in Computer Science Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	10.	Intelligence Science and Big Data Engineering. Visual Data Engineering [electronic resource] : 9th International Conference, IScIDE 2019, Nanjing, China, October 17–20, 2019, Proceedings, Part I / by Cui, Zhen [editor.] Pan, Jinshan [editor.] Zhang, Shanshan [editor.] Xiao, Liang [editor.] Yang, Jian [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 11935 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)
	11.	Engineering Secure Software and Systems [electronic resource] : 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings / by Jürjens, Jan [editor.] Livshits, Ben [editor.] Scandariato, Riccardo [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 7781 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	12.	Transactions on Petri Nets and Other Models of Concurrency IV [electronic resource]. by SpringerLink (Online service) Series: Transactions on Petri Nets and Other Models of Concurrency ; 6550 Edition: 1st ed. 2010. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	13.	Advances in Computational Intelligence [electronic resource] : 12th International Work-Conference on Artificial Neural Networks, IWANN 2013, Puerto de la Cruz, Tenerife, Spain, June 12-14, 2013, Proceedings, Part II / by Rojas, Ignacio [editor.] Joya, Gonzalo [editor.] Cabestany, Joan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7903 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	14.	Engineering Secure Software and Systems [electronic resource] : 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014. Proceedings / by Jürjens, Jan [editor.] Piessens, Frank [editor.] Bielova, Nataliia [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 8364 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	15.	Real-time Linked Dataspaces [electronic resource] : Enabling Data Ecosystems for Intelligent Systems / by Curry, Edward [author.] SpringerLink (Online service) 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)
	16.	Evolving OpenMP for Evolving Architectures [electronic resource] : 14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26–28, 2018, Proceedings / by de Supinski, Bronis R [editor.] Valero-Lara, Pedro [editor.] Martorell, Xavier [editor.] Mateo Bellido, Sergi [editor.] Labarta, Jesus [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11128 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)
	17.	Brain Informatics [electronic resource] : 12th International Conference, BI 2019, Haikou, China, December 13–15, 2019, Proceedings / by Liang, Peipeng [editor.] Goel, Vinod [editor.] Shan, Chunlei [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11976 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)
	18.	Guide to Software Systems Development [electronic resource] : Connecting Novel Theory and Current Practice / by Rosen, Clive [author.] SpringerLink (Online service) 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)
	19.	Advances in Information Systems Development [electronic resource] : Designing Digitalization / by Andersson, Bo [editor.] Johansson, Björn [editor.] Barry, Chris [editor.] Lang, Michael [editor.] Linger, Henry [editor.] Schneider, Christoph [editor.] SpringerLink (Online service) Series: Lecture Notes in Information Systems and Organisation ; 34 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)
	20.	Formal Methods and Software Engineering [electronic resource] : 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings / by Breitman, Karin [editor.] Cavalcanti, Ana [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5885 Edition: 1st ed. 2009. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 198 results.