Library - International Centre for Theoretical Sciences catalog › Results of search for 'ccl=se,phr:"Atlantis Studies in Computing"'

Search

Your search returned 7 results.

Not what you expected? Check for suggestions

	1.	Analysis and Enumeration by Andrea Marino. Series: Atlantis Studies in ComputingEdition: 2015Material type: Computer file; Format: electronic Publication details: Atlantis Press 2015Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	2.	Code Generation with Templates by Jeroen Arnoldus, Mark van den Brand, A. Serebrenik, J.J. Brunekreef. Series: Atlantis Studies in ComputingEdition: 2012Material type: Computer file; Format: electronic Publication details: Atlantis Press 2012Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	3.	Compressed Data Structures for Strings by Rossano Venturini. Series: Atlantis Studies in ComputingEdition: 2014Material type: Computer file; Format: electronic Publication details: Atlantis Press 2014Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	4.	Constraints Meet Concurrency by Jacopo Mauro. Series: Atlantis Studies in ComputingEdition: 2014Material type: Computer file; Format: electronic Publication details: Atlantis Press 2014Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	5.	Instruction Sequences for Computer Science by Jan A Bergstra, Cornelis A. Middelburg. Series: Atlantis Studies in ComputingEdition: 2012Material type: Computer file; Format: electronic Publication details: Atlantis Press 2012Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	6.	Logics in Computer Science by Fabio Mogavero. Series: Atlantis Studies in ComputingEdition: 2013Material type: Computer file; Format: electronic Publication details: Atlantis Press 2013Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	7.	Type Systems for Distributed Programs: Components and Sessions by Ornela Dardha. Series: Atlantis Studies in ComputingEdition: 1st ed. 2016Material type: Computer file; Format: electronic Publication details: Atlantis Press 2016Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)