Koha online catalog › Results of search for 'su:"Concurrency"'

	1.	Temporal Logic of Reactive and Concurrent Systems by Manna, Zohar \| Pnueli, A. Material type: Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 1992Availability: Items available for loan: [Call number: 005.1 MAN] (1). Place hold
	2.	Current Trends in Theoretical Computer Science : The Challenge of the New Century. Volume 2 by Paun, Gheorghe \| Rozenberg, Grzegorz. Material type: Book; Format: print ; Literary form: Not fiction Publisher: New Jersey: World Scientific, 2004Availability: Items available for loan: [Call number: 004 PAU] (1). Place hold
	3.	Automated verification of concurrent search structures by Krishna, Siddharth \| Patel, Nisarg \| Shasha, Dennis \| Wies, Thomas. Publisher: San Rafael, California : Morgan & Claypool Publishers, 2021Availability: Items available for loan: [Call number: 005.741 KRI] (1). Place hold

Koha online