|
1.
|
Building Scalable Database Applications : object-oriented design, architectures and implementations
by Heinckiens, Peter M. Material type: 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; 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; 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; 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; 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: Items available for loan: [Call number: 004.5 THO] (1).
|
|
8.
|
Python distilled
by Beazley, David M. Publisher: Boston : Addison-Wesley, 2022Availability: No items available Checked out (1).
|
|
9.
|
C++ core guidelines explained : best practices for modern C++
by Grimm, Rainer. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston : Addison Wesley, 2022Availability: Items available for loan: [Call number: 005.133 GRI] (1).
|
|
10.
|
Oracle Database transactions and locking revealed : building high performance through concurrency
by Kuhn, Darl | Kyte,Thomas. Edition: 2nd Publisher: New York : Apress, 2021Availability: Items available for loan: [Call number: 005.7585 KUH] (1).
|