Results of search for 'ccl=copydate:"2020" and su-to:Programming languages Electronic computers '

Results
	21.	Tests and Proofs : 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings by Wolfgang Ahrendt, Heike Wehrheim Material type: Text; Format: print Language: English Publication details: Cham Springer 2020 Online access: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)
	22.	Accelerator Programming Using Directives : 6th International Workshop, WACCPD 2019, Denver, CO, USA, November 18, 2019, Revised Selected Papers by Sandra Wienke, Sridutt Bhalachandra Material type: Text; Format: print Language: English Publication details: Cham Springer 2020 Online access: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)
	23.	Graph Transformation : 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings by Fabio Gadducci, Timo Kehrer Material type: Text; Format: print Language: English Publication details: Cham Springer 2020 Online access: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)
	24.	Programming Languages and Systems : 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings by Peter Müller Material type: Text; Format: print Language: English Publication details: Cham Springer 2020 Online access: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)
	25.	Coordination Models and Languages : 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings by Simon Bliudze, Laura Bocchi Material type: Text; Format: print Language: English Publication details: Cham Springer 2020 Online access: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)
	26.	Computer Programming in C for Beginners by Avelino J. Gonzalez Material type: Text; Format: print Language: English Publication details: Cham Springer 2020 Online access: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)
	27.	Verified Software. Theories, Tools, and Experiments : 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers by Supratik Chakraborty, Jorge A. Navas Material type: Text; Format: print Language: English Publication details: Cham Springer 2020 Online access: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)
	28.	OpenMP: Portable Multi-Level Parallelism on Modern Systems : 16th International Workshop on OpenMP, IWOMP 2020, Austin, TX, USA, September 22-24, 2020, Proceedings by Kent Milfeld, Bronis R. de Supinski, Lars Koesterke, Jannis Klinkenberg Material type: Text; Format: print Language: English Publication details: Cham Springer 2020 Online access: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)
	29.	Automated Reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part II by Nicolas Peltier, Viorica Sofronie-Stokkermans Material type: Text; Format: print Language: English Publication details: Cham Springer 2020 Online access: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)
	30.	Cyber Physical Systems. Model-Based Design : 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers by Roger Chamberlain, Martin Edin Grimheden, Walid Taha Material type: Text; Format: print Language: English Publication details: Cham Springer 2020 Online access: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)
	31.	Automated Reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part I by Nicolas Peltier, Viorica Sofronie-Stokkermans Material type: Text; Format: print Language: English Publication details: Cham Springer 2020 Online access: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)
	32.	Artificial Intelligence in Music, Sound, Art and Design : 9th International Conference, EvoMUSART 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15-17, 2020, Proceedings by Juan Romero, Anikó Ekárt, Tiago Martins, João Correia Material type: Text; Format: print Language: English Publication details: Cham Springer 2020 Online access: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)
	33.	Trends in Functional Programming : 20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12-14, 2019, Revised Selected Papers by William J. Bowman, Ronald Garcia Material type: Text; Format: print Language: English Publication details: Cham Springer 2020 Online access: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)
	34.	Dynamic Logic. New Trends and Applications : Second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings by Luís Soares Barbosa, Alexandru Baltag Material type: Text; Format: print Language: English Publication details: Cham Springer 2020 Online access: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)
	35.	Functional and Logic Programming : 15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020, Proceedings by Keisuke Nakano, Konstantinos Sagonas Material type: Text; Format: print Language: English Publication details: Cham Springer 2020 Online access: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)
	36.	Declarative Programming and Knowledge Management : Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9-12, 2019, Revised Selected Papers by Petra Hofstedt, Salvador Abreu, Ulrich John, Herbert Kuchen, Dietmar Seipel Material type: Text; Format: print Language: English Publication details: Cham Springer 2020 Online access: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)
	37.	Foundational Java : Key Elements and Practical Programming by David Parsons Edition: 2nd ed. Material type: Text; Format: print Language: English Publication details: Cham Springer 2020 Online access: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)
	38.	Programming Languages and Systems : 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 - December 2, 2020, Proceedings by Bruno C. d. S. Oliveira Material type: Text; Format: print Language: English Publication details: Cham Springer 2020 Online access: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)
	39.	Runtime Verification : 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings by Jyotirmoy Deshmukh, Dejan Ničković Material type: Text; Format: print Language: English Publication details: Cham Springer 2020 Online access: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)
	40.	Reuse in Emerging Software Engineering Practices : 19th International Conference on Software and Systems Reuse, ICSR 2020, Hammamet, Tunisia, December 2-4, 2020, Proceedings by Sihem Ben Sassi, Stéphane Ducasse, Hafedh Mili Material type: Text; Format: print Language: English Publication details: Cham Springer 2020 Online access: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)

Refine your search

Availability

Authors

Collections

Item types

Locations

Topics

Your search returned 45 results.