Your search returned 3 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Practice and Theory of Automated Timetabling VI [electronic resource] : 6th International Conference, PATAT 2006 Brno, Czech Republic, August 30–September 1, 2006 Revised Selected Papers / edited by Edmund K. Burke, Hana Rudová. by Series: Lecture Notes in Computer Science ; 3867
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: Q340 B87 2007.

Place hold Add to cart
2.
Automating Business Modelling [electronic resource] : A Guide to Using Logic to Represent Informal Methods and Support Reasoning / by Yun-Heh Chen-Burger, Dave Robertson. by Series: Advanced Information and Knowledge Processing
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London Limited, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: HD30.2 C46 2005.

Place hold Add to cart
3.
Practice and Theory of Automated Timetabling V [electronic resource] : 5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected Papers / edited by Edmund Burke, Michael Trick. by Series: Lecture Notes in Computer Science ; 3616
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: Q340 B87 2005.

Place hold Add to cart
Pages

Powered by Koha