 | | | | |
Bild | | | | Bestellen |
|
|
|
Computer Security - ESORICS 2004 (1 Angebot) Incorporating Dynamic Constraints in the Flexible Authorization Framework.- Access-Condition-Table-Driven Access Control for XML Databases.- An Algebra for Composing Enterprise Privacy Policies.- D... |
Springer Verlag 9783540229872 |
€ 49,99*
pro Stück |
|
|
|
Springer Verlag 9783540229933 |
€ 49,99*
pro Stück |
|
|
|
Springer Verlag 9783540229940 |
€ 49,99*
pro Stück |
|
|
Advances in Computer Systems Architecture (1 Angebot) On behalf of the program committee, we were pleased to present this year's program for ACSAC: Asia-Paci?c Computer Systems Architecture Conference. Now in its ninth year, ACSAC continues to provide... |
Springer Verlag 9783540230038 |
€ 99,99*
pro Stück |
|
|
|
Springer Verlag 9783540230137 |
€ 99,99*
pro Stück |
|
|
Groupware: Design, Implementation, and Use (1 Angebot) Key Note.- On Theory-Driven Design of Collaboration Technology and Process.- Knowledge Management.- Divergence Occurrences in Knowledge Sharing Communities.- On the Convergence of Knowledge Managem... |
Springer Verlag 9783540230168 |
€ 49,99*
pro Stück |
|
|
Theorem Proving in Higher Order Logics (1 Angebot) This volume constitutes the proceedings of the 17th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2004) held September 14-17, 2004 in Park City, Utah, USA. TPHOLs cover... |
Springer Verlag 9783540230175 |
€ 49,99*
pro Stück |
|
|
Algorithms in Bioinformatics (1 Angebot) Papers.- Reversing Gene Erosion - Reconstructing Ancestral Bacterial Genomes from Gene-Content and Order Data.- Reconstructing Ancestral Gene Orders Using Conserved Intervals.- Sorting by Reversals... |
Springer Verlag 9783540230182 |
€ 99,99*
pro Stück |
|
|
Algorithms -- ESA 2004 (1 Angebot) Invited Lectures.- A Survey of FPT Algorithm Design Techniques with an Emphasis on Recent Advances and Connections to Practical Computing.- Algorithmic Aspects of Web Search Engines.- Design and An... |
Springer Verlag 9783540230250 |
€ 99,99*
pro Stück |
|
|
|
Springer Verlag 9783540230274 |
€ 149,99*
pro Stück |
|
|
Mathematical Knowledge Management (1 Angebot) Copyright Issues for MKM.- Efficient Retrieval of Mathematical Statements.- Formalizing Set Theory as it Is Actually Used.- Integrated Semantic Browsing of the Mizar Mathematical Library for Author... |
Springer Verlag 9783540230298 |
€ 49,99*
pro Stück |
|
|
Software and Compilers for Embedded Systems (1 Angebot) This volume contains the proceedings of the 8th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2004) held in A- terdam, The Netherlands, on September 2 and 3, 2004. I... |
Springer Verlag 9783540230359 |
€ 49,99*
pro Stück |
|
|
Text, Speech and Dialogue (1 Angebot) This volume contains the Proceedings of the 7th International Conference on Text, Speech and Dialogue, held in Brno, Czech Republic, in September 2004, under the auspices of the Masaryk University.... |
Springer Verlag 9783540230496 |
€ 99,99*
pro Stück |
|
|
Document Analysis Systems VI (1 Angebot) Thisvolumecontainspapersselectedforpresentationatthe6thIAPRWorkshop on Document Analysis Systems (DAS 2004) held during September 8-10, 2004 at the University of Florence, Italy. Several papers rep... |
Springer Verlag 9783540230601 |
€ 49,99*
pro Stück |
|
|
Formal Methods for the Design of Real-Time Systems (1 Angebot) Models and Languages.- Decision Problems for Timed Automata: A Survey.- Timed Petri Nets: Efficiency of Asynchronous Systems.- Timed Process Algebra (With a Focus on Explicit Termination and Relati... |
Springer Verlag 9783540230687 |
€ 49,99*
pro Stück |
|
|
