Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Conference Proceeding
|
Implementing the Tate PairingAlgorithmic Number Theory, 2002, p.324-337 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2002 ;2003 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 3540438637 ;ISBN: 9783540438632 ;EISSN: 1611-3349 ;EISBN: 3540454551 ;EISBN: 9783540454557 ;DOI: 10.1007/3-540-45455-1_26Full text available |
|
2 |
Material Type: Conference Proceeding
|
Overview of the Nearby supernova factoryProceedings of SPIE, the international society for optical engineering, 2002, Vol.4836, p.61-72Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 0277-786X ;EISSN: 1996-756X ;DOI: 10.1117/12.458107Digital Resources/Online E-Resources |
|
3 |
Material Type: Conference Proceeding
|
Present and future emissions of air pollutants in China : SO2, NOx, and COAtmospheric environment (1994), 2000, Vol.34 (3), p.363-374 [Peer Reviewed Journal]2000 INIST-CNRS ;ISSN: 1352-2310 ;EISSN: 1873-2844 ;DOI: 10.1016/S1352-2310(99)00167-3Full text available |
|
4 |
Material Type: Conference Proceeding
|
Frequency Estimation of Internet Packet Streams with Limited SpaceAlgorithms — ESA 2002, 2002, p.348-360 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2002 ;2003 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 3540441808 ;ISBN: 9783540441809 ;EISSN: 1611-3349 ;EISBN: 3540457496 ;EISBN: 9783540457497 ;DOI: 10.1007/3-540-45749-6_33Full text available |
|
5 |
Material Type: Conference Proceeding
|
Secure Multi-party Computational GeometryAlgorithms and Data Structures, 2001, p.165-179 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2001 ;2001 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 9783540424239 ;ISBN: 3540424237 ;EISSN: 1611-3349 ;EISBN: 9783540446347 ;EISBN: 3540446346 ;DOI: 10.1007/3-540-44634-6_16Full text available |
|
6 |
Material Type: Conference Proceeding
|
The weil and tate pairings as building blocks for public key cryptosystems (survey)Lecture notes in computer science, 2002, p.20-32 [Peer Reviewed Journal]2003 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 3540438637 ;ISBN: 9783540438632 ;EISSN: 1611-3349 ;DOI: 10.1007/3-540-45455-1_3Full text available |
|
7 |
Material Type: Conference Proceeding
|
Adaptive and dynamic service composition in eFlowLecture notes in computer science, 2000, Vol.1789, p.13-31 [Peer Reviewed Journal]2000 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 9783540676300 ;ISBN: 3540676309 ;EISSN: 1611-3349Full text available |
|
8 |
Material Type: Conference Proceeding
|
The Two Faces of Lattices in CryptologyCryptography and Lattices, 2001, Vol.2146, p.146-180 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2001 ;2001 INIST-CNRS ;2002 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 3540424881 ;ISBN: 9783540424888 ;ISBN: 9783540430667 ;ISBN: 3540430660 ;EISSN: 1611-3349 ;EISBN: 9783540446705 ;EISBN: 3540446702 ;DOI: 10.1007/3-540-44670-2_12 ;OCLC: 958524224 ;LCCallNum: QA268Full text available |
|
9 |
Material Type: Conference Proceeding
|
On structured workflow modellingLecture notes in computer science, 2000, Vol.1789, p.431-445 [Peer Reviewed Journal]2000 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 9783540676300 ;ISBN: 3540676309 ;EISSN: 1611-3349Full text available |
|
10 |
Material Type: Conference Proceeding
|
Two Simplified Algorithms for Maintaining Order in a ListAlgorithms — ESA 2002, 2002, p.152-164 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2002 ;2003 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 3540441808 ;ISBN: 9783540441809 ;EISSN: 1611-3349 ;EISBN: 3540457496 ;EISBN: 9783540457497 ;DOI: 10.1007/3-540-45749-6_17Full text available |
|
11 |
Material Type: Conference Proceeding
|
1.375-Approximation Algorithm for Sorting by ReversalsAlgorithms — ESA 2002, 2002, p.200-210 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2002 ;2003 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 3540441808 ;ISBN: 9783540441809 ;EISSN: 1611-3349 ;EISBN: 3540457496 ;EISBN: 9783540457497 ;DOI: 10.1007/3-540-45749-6_21Full text available |
|
12 |
Material Type: Conference Proceeding
|
Smart Play-out of Behavioral RequirementsFormal Methods in Computer-Aided Design, 2002, p.378-398 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2002 ;2003 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 9783540001164 ;ISBN: 3540001166 ;EISSN: 1611-3349 ;EISBN: 9783540361268 ;EISBN: 354036126X ;DOI: 10.1007/3-540-36126-X_23Full text available |
|
13 |
Material Type: Conference Proceeding
|
Quantum ProgrammingLecture notes in computer science, 2000, p.80-99 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2000 ;2000 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 9783540677277 ;ISBN: 3540677275 ;EISSN: 1611-3349 ;EISBN: 9783540450252 ;EISBN: 3540450254 ;DOI: 10.1007/10722010_6Full text available |
|
14 |
Material Type: Conference Proceeding
|
Succinct Dynamic Data StructuresAlgorithms and Data Structures, 2001, p.426-437 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2001 ;2001 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 9783540424239 ;ISBN: 3540424237 ;EISSN: 1611-3349 ;EISBN: 9783540446347 ;EISBN: 3540446346 ;DOI: 10.1007/3-540-44634-6_39Full text available |
|
15 |
Material Type: Conference Proceeding
|
Wavelength dependent damage in biological multi-photon confocal microscopy: A micro-spectroscopic comparison between femtosecond Ti:sapphire and Cr :forsterite laser sourcesOptical and quantum electronics, 2002, Vol.34 (12), p.1251-1266 [Peer Reviewed Journal]2003 INIST-CNRS ;ISSN: 0306-8919 ;EISSN: 1572-817X ;DOI: 10.1023/A:1021303426482 ;CODEN: OQELDIFull text available |
|
16 |
Material Type: Conference Proceeding
|
Biodiversity from palaeoecological dataJournal of biogeography, 1999, Vol.26 (1) [Peer Reviewed Journal]1999 INIST-CNRS ;ISSN: 0305-0270 ;EISSN: 1365-2699 ;DOI: 10.1046/j.1365-2699.1999.00279.x ;CODEN: JBIODNFull text available |
|
17 |
Material Type: Conference Proceeding
|
Proving Pointer Programs in Hoare LogicLecture notes in computer science, 2000, p.102-126 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2000 ;2000 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 9783540677277 ;ISBN: 3540677275 ;EISSN: 1611-3349 ;EISBN: 9783540450252 ;EISBN: 3540450254 ;DOI: 10.1007/10722010_8Full text available |
|
18 |
Material Type: Conference Proceeding
|
Connectionist Structures of Type 2 Fuzzy Inference SystemsLecture notes in computer science, 2002, p.634-642 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2002 ;2003 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 3540437924 ;ISBN: 9783540437925 ;EISSN: 1611-3349 ;EISBN: 9783540480860 ;EISBN: 3540480862 ;DOI: 10.1007/3-540-48086-2_70Full text available |
|
19 |
Material Type: Conference Proceeding
|
External-Memory Breadth-First Search with Sublinear I/OAlgorithms — ESA 2002, 2002, p.723-735 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2002 ;2003 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 3540441808 ;ISBN: 9783540441809 ;EISSN: 1611-3349 ;EISBN: 3540457496 ;EISBN: 9783540457497 ;DOI: 10.1007/3-540-45749-6_63Full text available |
|
20 |
Material Type: Conference Proceeding
|
Isogeny Volcanoes and the SEA AlgorithmAlgorithmic Number Theory, 2002, p.276-291 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2002 ;2003 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 3540438637 ;ISBN: 9783540438632 ;EISSN: 1611-3349 ;EISBN: 3540454551 ;EISBN: 9783540454557 ;DOI: 10.1007/3-540-45455-1_23Full text available |