A natural semantics for modal logic over databasesMAREK, W.Theoretical computer science. 1988, Vol 56, Num 2, pp 187-209, issn 0304-3975Article

Post-Update Compensation (PUC) with Maneuver IndicatorCHUN YANG; BLASCH, Erik; KADAR, Ivan et al.Proceedings of SPIE, the International Society for Optical Engineering. 2009, Vol 7336, issn 0277-786X, isbn 978-0-8194-7602-9 0-8194-7602-1, 1Vol, 733606.1-733606.12Conference Paper

Ghostscript Color ManagementVRHEL, Michael J; JOHNSTON, Raymond.Proceedings of SPIE, the International Society for Optical Engineering. 2011, Vol 7866, issn 0277-786X, isbn 978-0-8194-8403-1, 78660V.1-78660V.11Conference Paper

Bulletin signalétique 1988 no41988, 41 p.Book

Bulletin signalétique 1988 no31988, 47 p.Book

Advanced television systems committee standards work updateWHITAKER, Jerry C.SMPTE motion imaging journal. 2008, Vol 117, Num 6, pp 66-70, issn 1545-0279, 5 p.Article

Quasi-Newton updates in abstract Vector spacesTODD, M. J.SIAM review (Print). 1984, Vol 26, Num 3, pp 367-377, issn 0036-1445Article

Search engine updateNOTESS, Greg R.Online (Weston, CT). 2012, Vol 36, Num 4, issn 0146-5422, p. 13Article

Handling existential derived predicates in view updatingFARM, Carles; TENIENTE, Ernest; URPI, Toni et al.Lecture notes in computer science. 2003, pp 148-162, issn 0302-9743, isbn 3-540-20642-6, 15 p.Conference Paper

Moving-Window GPR for Nonlinear Dynamic System Modeling with Dual Updating and Dual PreprocessingWANGDONG NI; SOON KEAT TAN; WUN JERN NG et al.Industrial & engineering chemistry research. 2012, Vol 51, Num 18, pp 6416-6428, issn 0888-5885, 13 p.Article

Advanced Television Systems Committee Standards Work UpdateWHITAKER, Jerry C.SMPTE motion imaging journal. 2009, Vol 118, Num 6, pp 33-37, issn 1545-0279, 5 p.Article

TMD-tradeoff and state entropy loss considerations of streamcipher MICKEYJIN HONG; KIM, Wbo-Hwan.Lecture notes in computer science. 2005, pp 169-182, issn 0302-9743, isbn 3-540-30805-9, 1Vol, 14 p.Conference Paper

Bulletin signalétique 1989 no11989, 47 p.Book

Recueil de références bibliographiques -Documents enregistrés au cours du deuxième trimestre 19851985, 34 p.Book

Polypropylène = PolypropyleneLAPEYRE, H; MIKIELSKI, R.sd, pp 1-3Article

Preservantes en la industria cárnica. Revisión y actualizaciónSANTOS, Ramon; BELDARRAIN, Tatiana; RAMOS, Magdalena et al.Alimentaria. 2004, Num 351, pp 47-55, issn 0300-5755, 9 p.Article

Plastiques renforcés: Mise en œuvre = Reinforced plastics: processingLEFRANC, P; GAY, R.sd, pp 1-4Article

LES PRINCIPAUX RÉSULTATS II: IST-3 dans un contexte de mise à jour de méta-analyse d'études randomisées = Main results II: IST-3 in context of updated meta-analysis of the randomised trialsWARDLAW, Johanna.Médecine d'urgence (Paris). 2012, Vol 34, Num JUN, pp 171-173, issn 1148-8115, 3 p., NSArticle

Odontostomatologie : Enrichir et mettre à jour sa panoplie pour mieux soigner: le tri 2010 = Odontostomatology : 2010 updateLa Revue Prescrire. 2011, Vol 31, Num 327, issn 0247-7750, p. 51Article

Prospective Trial of Thoracic and Spine Surgeons' Updating of Their Estimated Case Durations at the Start of CasesDEXTER, Elisabeth U; DEXTER, Franklin; MASURSKY, Danielle et al.Anesthesia and analgesia. 2010, Vol 110, Num 4, pp 1164-1168, issn 0003-2999, 5 p.Article

An adaptive spatial filter for early depth testYU, Chang-Hyo; KIM, Lee-Sup.IEEE International Symposium on Circuits and Systems. 2004, pp 137-140, isbn 0-7803-8251-X, 4 p.Conference Paper

Application of internet for automatic reambulationKASUM, Josip; GRZETIC, Zvonko; VLADISLAVIC, Kristina et al.Mediterranean electrotechnical conference. 2004, isbn 0-7803-8271-4, 3Vol, Vol.2, 731-734Conference Paper

Analysis of BGP update surge during Slammer worm attackMOHIT LAD; XIAOLIANG ZHAO; BEICHUAN ZHANG et al.Lecture notes in computer science. 2003, pp 66-79, issn 0302-9743, isbn 3-540-20745-7, 14 p.Conference Paper

Off-line algorithms for the list update problemREINGOLD, N; WESTBROOK, J.Information processing letters. 1996, Vol 60, Num 2, pp 75-80, issn 0020-0190Article

Revising the Dewey Decimal ClassificationCOMAROMI, J. P; MOHINDER PARTAP SATIJA.International classification. 1988, Vol 15, Num 1, pp 17-20, issn 0340-0050Article