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

Results
	121.	Parallel Computing Technologies [electronic resource] : 17th International Conference, PaCT 2023, Astana, Kazakhstan, August 21–25, 2023, Proceedings / by Malyshkin, Victor [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14098 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	122.	Epistemological Aspects of Computer Simulation in the Social Sciences [electronic resource] : Second International Workshop, EPOS 2006, Brescia, Italy, October 5-6, 2006, Revised Selected and Invited Papers / by Squazzoni, Flaminio [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5466 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)
	123.	High Performance Computing [electronic resource] : 8th Latin American Conference, CARLA 2021, Guadalajara, Mexico, October 6–8, 2021, Revised Selected Papers / by Gitler, Isidoro [editor.] Barrios Hernández, Carlos Jaime [editor.] Meneses, Esteban [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1540 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)
	124.	Guessing Random Additive Noise Decoding [electronic resource] : A Hardware Perspective / by Abbas, Syed Mohsin [author.] Jalaleddine, Marwan [author.] Gross, Warren J [author.] SpringerLink (Online service) Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	125.	Reversible Computation [electronic resource] : 15th International Conference, RC 2023, Giessen, Germany, July 18–19, 2023, Proceedings / by Kutrib, Martin [editor.] Meyer, Uwe [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13960 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	126.	High Performance Embedded Architectures and Compilers [electronic resource] : 5th International Conference, HiPEAC 2010, Pisa, Italy, January 25-27, 2010, Proceedings / by Patt, Yale N [editor.] Foglia, Pierfrancesco [editor.] Duesterwald, Evelyn [editor.] Faraboschi, Paolo [editor.] Martorell, Xavier [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5952 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)
	127.	Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation [electronic resource] : 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers / by Ayala, José L [editor.] Shang, Delong [editor.] Yakovlev, Alex [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7606 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)
	128.	Cryptographic Hardware and Embedded Systems - CHES 2007 [electronic resource] : 9th International Workshop, Vienna, Austria, September 10-13, 2007, Proceedings / by Paillier, Pascal [editor.] Verbauwhede, Ingrid [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 4727 Edition: 1st ed. 2007. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	129.	Computer Performance Evaluation and Benchmarking [electronic resource] : SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009, Proceedings / by Kaeli, David [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5419 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)
	130.	Supercomputing Frontiers [electronic resource] : 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings / by Yokota, Rio [editor.] Wu, Weigang [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10776 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)
	131.	High Performance Computing [electronic resource] : 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018, Proceedings / by Yokota, Rio [editor.] Weiland, Michèle [editor.] Keyes, David [editor.] Trinitis, Carsten [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10876 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)
	132.	Parallel Processing and Applied Mathematics [electronic resource] : 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I / by Wyrzykowski, Roman [editor.] Dongarra, Jack [editor.] Deelman, Ewa [editor.] Karczewski, Konrad [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10777 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)
	133.	Neural Information Processing [electronic resource] : 24th International Conference, ICONIP 2017, Guangzhou, China, November 14–18, 2017, Proceedings, Part VI / by Liu, Derong [editor.] Xie, Shengli [editor.] Li, Yuanqing [editor.] Zhao, Dongbin [editor.] El-Alfy, El-Sayed M [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10639 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)
	134.	OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence [electronic resource] : 4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017, Revised Selected Papers / by Gorentla Venkata, Manjunath [editor.] Imam, Neena [editor.] Pophale, Swaroop [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10679 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)
	135.	Computational Science – ICCS 2018 [electronic resource] : 18th International Conference, Wuxi, China, June 11–13, 2018 Proceedings, Part III / by Shi, Yong [editor.] Fu, Haohuan [editor.] Tian, Yingjie [editor.] Krzhizhanovskaya, Valeria V [editor.] Lees, Michael Harold [editor.] Dongarra, Jack [editor.] Sloot, Peter M. A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10862 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)
	136.	Reversible Computation [electronic resource] : 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings / by Phillips, Iain [editor.] Rahaman, Hafizur [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10301 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)
	137.	High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation [electronic resource] : 8th International Workshop, PMBS 2017, Denver, CO, USA, November 13, 2017, Proceedings / by Jarvis, Stephen [editor.] Wright, Steven [editor.] Hammond, Simon [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10724 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)
	138.	Brain-Inspired Computing [electronic resource] : Second International Workshop, BrainComp 2015, Cetraro, Italy, July 6-10, 2015, Revised Selected Papers / by Amunts, Katrin [editor.] Grandinetti, Lucio [editor.] Lippert, Thomas [editor.] Petkov, Nicolai [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10087 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	139.	Cryptographic Hardware and Embedded Systems - CHES 2004 [electronic resource] : 6th International Workshop Cambridge, MA, USA, August 11-13, 2004, Proceedings / by Joye, Marc [editor.] Quisquater, Jean-Jaques [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3156 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	140.	Field Programmable Logic and Application [electronic resource] : 14th International Conference , FPL 2004, Leuven, Belgium, August 30-September 1, 2004, Proceedings / by Becker, Jürgen [editor.] Platzner, Marco [editor.] Vernalde, Serge [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3203 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 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

Topics

Titles

Your search returned 230 results.