LEADER 01460nas  2200445-  450 
001 9910147188103321
005 20221209213018.0
035   $a(OCoLC)698011575
035   $a(CKB)1000000000301811
035   $a(CONSER)--2022232218
035   $a(EXLCZ)991000000000301811
100   $a20110122b20012003  -f-            -
101 0 $aeng
135   $aurbn||||||abp
135   $aurbn||||||ada
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 14$aThe EIB Group activity report ..
210  1$aLuxembourg :$cEuropean Investment Bank Group,$d[2002-2004]
215   $a1 online resource (3 volumes) $cillustrations
311   $aPrint version: Annual report. (DLC)  2005238669 (OCoLC)61496041 1725-3551 
517 1 $aActivity report
531   $aEIB GROUP ACTIVITY REPORT
606   $aInvestments$zEuropean Union countries$vPeriodicals
606   $aInvestissements$zPays de l'Union européenne$vPériodiques
606   $aInvestments$2fast$3(OCoLC)fst00978234
607   $aEuropean Union countries$2fast
608   $aperiodicals.$2aat
608   $aPeriodicals.$2fast
608   $aPeriodicals.$2lcgft
608   $aPériodiques.$2rvmgf
615  0$aInvestments
615  6$aInvestissements
615  7$aInvestments.
712 02$aEuropean Investment Bank.
906   $aJOURNAL
912   $a9910147188103321
996   $aThe EIB Group activity report .$92997460
997   $aUNINA

LEADER 02134oam  2200541zu 450 
001 9910142678403321
005 20241212215416.0
010   $a9781509091843
010   $a150909184X
035   $a(CKB)1000000000330940
035   $a(SSID)ssj0000394765
035   $a(PQKBManifestationID)12164180
035   $a(PQKBTitleCode)TC0000394765
035   $a(PQKBWorkID)10450244
035   $a(PQKB)11569903
035   $a(EXLCZ)991000000000330940
100   $a20160829d2006      uy 
101 0 $aeng
181   $ctxt
182   $cc
183   $acr
200 10$aFormal methods in computer-aided design : Proceedings of Formal Methods in Computer Aided Design [6th International Conference] : 12-16 November, 2006, San Jose, California, USA
210 31$a[Place of publication not identified]$cIEEE Computer Society$d2006
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$a9780769527079 
311 08$a0769527078 
606   $aDigital integrated circuits$xComputer-aided design$vCongresses
606   $aIntegrated circuits$xVerification$vCongresses
606   $aFormal methods (Computer science)$xMathematics$xDesign and construction$vCongresses
606   $aDigital integrated circuits$vCongresses
606   $aElectrical & Computer Engineering$2HILCC
606   $aEngineering & Applied Sciences$2HILCC
606   $aElectrical Engineering$2HILCC
615  0$aDigital integrated circuits$xComputer-aided design
615  0$aIntegrated circuits$xVerification
615  0$aFormal methods (Computer science)$xMathematics$xDesign and construction
615  0$aDigital integrated circuits
615  7$aElectrical & Computer Engineering
615  7$aEngineering & Applied Sciences
615  7$aElectrical Engineering
676   $a621.3815
712 02$aIEEE Computer Society
712 12$aFMCAD '06
801  0$bPQKB
906   $aPROCEEDING
912   $a9910142678403321
996   $aFormal methods in computer-aided design : Proceedings of Formal Methods in Computer Aided Design : 12-16 November, 2006, San Jose, California, USA$92362588
997   $aUNINA