Your search returned 258 results.

Sort
Results
Algorithms - esa 2000 (e-book)

by Paterson, Mike.

Series: Lecture Notes in Computer Science (LNCS) ; v.1879Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2000Online access: Click here to access online Availability: Items available for reference: Online (1) .

Zb 2000: formal specification and development in z and b (e-book)

by Bowen, Jonathan.

Series: Lecture Notes in Computer Science (LNCS) ; v.1878Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2000Online access: Click here to access online Availability: Items available for reference: Online (1) .

Concur 2000 - concurrency theory (e-book)

by Palamidessi, Catuscia.

Series: Lecture Notes in Computer Science (LNCS) ; v.1877Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2000Online access: Click here to access online Availability: Items available for reference: Online (1) .

Advances in pattern recognition (e-book)

by Ferri, Francesc.

Series: Lecture Notes in Computer Science (LNCS) ; v.1876Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2000Online access: Click here to access online Availability: Items available for reference: Online (1) .

Electronic commerce and web technologies (e-book)

by Bauknecht, Kurt.

Series: Lecture Notes in Computer Science (LNCS) ; v.1875Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2000Online access: Click here to access online Availability: Items available for reference: Online (1) .

Data warehousing and knowledge discovery (e-book)

by Kambayashi, Yahiko.

Series: Lecture Notes in Computer Science (LNCS) ; v.1874Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2000Online access: Click here to access online Availability: Items available for reference: Online (1) .

Database and expert systems applications (e-book)

by Ibrahim, Mohamed.

Series: Lecture Notes in Computer Science (LNCS) ; v.1873Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2000Online access: Click here to access online Availability: Items available for reference: Online (1) .

Theoretical computer science: exploring new frontiers of theoretical informatics (e-book)

by Leeuwen, Jan.

Series: Lecture Notes in Computer Science (LNCS) ; v.1872Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2000Online access: Click here to access online Availability: Items available for reference: Online (1) .

Analysis and visualization tools for constraint programming (e-book)

by Deransart, Pierre.

Series: Lecture Notes in Computer Science (LNCS) ; v.1870Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2000Online access: Click here to access online Availability: Items available for reference: Online (1) .

Theorem proving in higher order logics (e-book)

by Aagaard, Mark.

Series: Lecture Notes in Computer Science (LNCS) ; v.1869Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2000Online access: Click here to access online Availability: Items available for reference: Online (1) .

Pages

Powered by Koha