Your search returned 6 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Types for proofs and programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers / Paul Callaghan [and others]. by Series: Lecture notes in computer science ; 2277.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2002
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
Transactions on rough sets III / James F. Peters, Andrzej Skowron (eds.). by Series: Lecture notes in computer science ; 3400. | Lecture notes in computer science. Journal subline.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2005
Other title:
  • Transactions on rough sets three
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
3.
Combinatorial geometry and graph theory : Indonesia-Japan joint conference, IJCCGGT 2003, Bandung, Indonesia, September 13-16, 2003 : revised selected papers / Jin Akiyama, Edy Tri Baskoro, Mikio Kano (eds.). by Series: Lecture notes in computer science ; 3330.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 11378242
Publication details: Berlin ; New York : Springer, ©2005
Other title:
  • IJCCGGT 2003
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
4.
Network analysis : methodological foundations / Ulrik Brandes, Thomas Erlebach (eds.). by Series: Lecture notes in computer science ; 3418. | Lecture notes in computer science. Tutorial.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2005
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
5.
6.
Foundations of genetic algorithms : 8th international workshop, FOGA 2005, Aizu-Wakamatsu City, Japan, January 5-9, 2005 : revised selected papers / Alden H. Wright [and others] (eds.). by Series: Lecture notes in computer science ; 3469.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 11513575
Publication details: Berlin ; New York : Springer, ©2005
Other title:
  • FOGA 2005
In: Springer e-books
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha