Your search returned 16 results.

Results
	1.	OpenMP in a Modern World: From Multi-device Support to Meta Programming [electronic resource] : 18th International Workshop on OpenMP, IWOMP 2022, Chattanooga, TN, USA, September 27–30, 2022, Proceedings / by Klemm, Michael [editor.] de Supinski, Bronis R [editor.] Klinkenberg, Jannis [editor.] Neth, Brandon [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13527 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)
	2.	OpenMP: Advanced Task-Based, Device and Compiler Programming [electronic resource] : 19th International Workshop on OpenMP, IWOMP 2023, Bristol, UK, September 13–15, 2023, Proceedings / by McIntosh-Smith, Simon [editor.] Klemm, Michael [editor.] de Supinski, Bronis R [editor.] Deakin, Tom [editor.] Klinkenberg, Jannis [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14114 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)
	3.	Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems [electronic resource] : Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings / by Lakhnech, Yassine [editor.] Yovine, Sergio [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3253 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)
	4.	Euro-Par 2022: Parallel Processing [electronic resource] : 28th International Conference on Parallel and Distributed Computing, Glasgow, UK, August 22–26, 2022, Proceedings / by Cano, José [editor.] Trinder, Phil [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13440 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)
	5.	Euro-Par 2023: Parallel Processing [electronic resource] : 29th International Conference on Parallel and Distributed Computing, Limassol, Cyprus, August 28 – September 1, 2023, Proceedings / by Cano, José [editor.] Dikaiakos, Marios D [editor.] Papadopoulos, George A [editor.] Pericàs, Miquel [editor.] Sakellariou, Rizos [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14100 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)
	6.	Hybrid Systems: Computation and Control [electronic resource] : 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings / by Wiedijk, Freek [editor.] Maler, Oded [editor.] Pnueli, Amir [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2623 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)
	7.	Hybrid and Real-Time Systems [electronic resource] : International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings / by Maler, Oded [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1201 Edition: 1st ed. 1997. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	8.	Computer Aided Systems Theory - EUROCAST 2001 [electronic resource] : A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19-23, 2001. Revised Papers / by Moreno-Diaz, Roberto [editor.] Buchberger, Bruno [editor.] Freire, Jose-Luis [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2178 Edition: 1st ed. 2001. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	9.	Hybrid Systems: Computation and Control [electronic resource] : 5th International Workshop, HSCC 2002, Stanford, CA, USA, March 25-27, 2002, Proceedings / by Tomlin, Claire J [editor.] Greenstreet, Mark R [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2289 Edition: 1st ed. 2002. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	10.	Hybrid Systems: Computation and Control [electronic resource] : First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings / by Henzinger, Thomas A [editor.] Sastry, Shankar [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1386 Edition: 1st ed. 1998. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	11.	Formal Techniques in Real-Time and Fault-Tolerant Systems [electronic resource] : 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings / by Damm, Werner [editor.] Olderog, Ernst-Rüdiger [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2469 Edition: 1st ed. 2002. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	12.	Formal Techniques in Real-Time and Fault-Tolerant Systems [electronic resource] : 6th International Symposium, FTRTFT 2000 Pune, India, September 20-22, 2000 Proceedings / by Joseph, Mathai [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1926 Edition: 1st ed. 2000. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	13.	Computer Aided Systems Theory - EUROCAST '97 [electronic resource] : A Selection of Papers from the Sixth International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 1997, Proceedings / by Pichler, Franz [editor.] Moreno-Diaz, Roberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1333 Edition: 1st ed. 1997. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	14.	Formal Techniques in Real-Time and Fault-Tolerant Systems [electronic resource] : 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings / by Ravn, Anders P [editor.] Rischel, Hans [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1486 Edition: 1st ed. 1998. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	15.	On-line Error Detection and Fast Recover Techniques for Dependable Embedded Processors [electronic resource] / by Pflanz, Matthias [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2270 Edition: 1st ed. 2002. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	16.	Embedded Processor Design Challenges [electronic resource] : Systems, Architectures, Modeling, and Simulation - SAMOS / by Deprettere, Ed F [editor.] Vassiliadis, Stamatis [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2268 Edition: 1st ed. 2002. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

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