1. Building Scalable Database Applications : object-oriented design, architectures and implementations

by Heinckiens, Peter M.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Massachusetts: Addison-Wesley, 1998Availability: Items available for loan: [Call number: 005.117 HEI] (2).
2. Temporal Logic of Reactive and Concurrent Systems

by Manna, Zohar | Pnueli, A.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 1992Availability: Items available for loan: [Call number: 005.1 MAN] (1).
3. Concurrent and real-time systems : the CSP approach

by Schneider, Steve.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Chichester: John Wiley & Sons, 2000Availability: Items available for loan: [Call number: 004.33 SCH] (2).
4. Current Trends in Theoretical Computer Science : The Challenge of the New Century. Volume 2

by Paun, Gheorghe | Rozenberg, Grzegorz.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Jersey: World Scientific, 2004Availability: Items available for loan: [Call number: 004 PAU] (1).
5. Clean Code : a handbook of agile software craftsmanship

by Martin, Robert C.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Upper Saddle River: Prentice Hall, 2009Availability: Items available for loan: [Call number: 005.1 MAR] (1).
6. 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).
7. Storage systems : organization, performance, coding, reliability, and their data processing

by Thomasian, Alexander.

Publisher: Cambridge : Morgan Kaufmann, 2022Availability: No items available Checked out (1).
8. Python distilled

by Beazley, David M.

Publisher: Boston : Addison-Wesley, 2022Availability: Items available for loan: [Call number: 005.133 BEA] (1).
Tags:

Powered by Koha