|
Month: OCTOBER_2007 | ||||
|
System number |
Author | Title | Edition | Year |
| 2291726 | ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (2007 : San Diego) | LCTES '07 : proceedings of the 2007 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools : San Diego, California, June 2007 | 2007 | |
|
ACM SIGPLAN Conference on Programming Language Design and Implementation (2007 : San Diego) |
PLDI '07 : proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design & Implementation : San Diego, California, June 2007 |
|
2007 |
|
| 2291727 | ACM Symposium on Access Control Models and Technologies (12th : 2007 : Sophia Antipolis, France) | SACMAT 2007 : proceedings of the 12th ACM Symposium on Access Control Models and Technologies : Sophia Antipolis, France, June 2007 | 2007 | |
|
|
Coding theory and cryptography : the essentials |
2nd ed. |
2000 |
|
| 2291722 | Conference on Computer Graphics and Interactive Techniques (2007) . | SIGGRAPH 2007 : electronic art and animation catalog. | 2007 | |
|
|
De Souza, Clarisse Sieckenius |
The semiotic engineering of human-computer interaction |
|
2005 |
| 2291267 | FMCO (4th : 2005 : Amsterdam) | Formal methods for components and objects : 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 2005 : revised lectures | 2006 | |
|
Gonzalez, Rafael C. |
Digital image processing |
3rd ed. |
2008 |
|
|
2290352
|
Hall, Marty | Core servlets and JavaServer pages | 2nd ed. | 2004 |
|
Hopcroft, John E. |
Introduction to automata theory, languages, and computation |
3rd ed. |
2007 |
|
| 2291264 | International Workshop TYPES 2004 (2004 : Jouy-en-Josas, France) | Types for proofs and programs : International Workshop, TYPES 2004, Jouy-en-Josas, France, December 2004 : revised selected papers | 2006 | |
|
International Workshop TYPES 2006 (2006 : Nottingham, UK) |
Types for proofs and programs : International Workshop, TYPES 2006, Nottingham, UK, April 2006 : revised selected papers |
|
2007 |
|
| 2284449 | Life : the science of biology | 8th ed. | 2008 | |
|
|
Mathematical aspects of nonlinear dispersive equations |
|
2007 |
|
| 2290933 | Marsden, Jerrold E. | Vector calculus | 5th ed. | 2003 |
|
Nielsen, Jakob, 1957- |
Prioritizing Web usability |
|
2006 |
|
| 2291720 | SIGCSE/SIGCUE Conference on Innovation and Technology in Computer Science Education (12th : 2007 : Dundee, Scotland) | ITiCSE 2007 : 12th annual Conference on Innovation & Technology in Computer Science Education : inclusive education in computer sciences : June 2007, Dundee, Scotland | 2007 | |
|
Tung, K. K. |
Topics in mathematical modeling |
|
2007 |
|
| 2291003 | Vaudenay, Serge | A classical introduction to cryptography : applications for communications security | 2006 | |
|
Workshop on Computer Science Logic (20th : 2006 : Szeged, Hungary) |
Computer science logic : 20th international Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 2006 : proceedings |
|
2006 |
|