LEADER 01779nam  2200517   450 
001 996478865303316
005 20231110224557.0
010   $a3-031-09827-7
035   $a(MiAaPQ)EBC7020801
035   $a(Au-PeEL)EBL7020801
035   $a(CKB)23976609000041
035   $aEBL7020801
035   $a(OCoLC)1333082070
035   $a(AU-PeEL)EBL7020801
035   $a(PPN)26875912X
035   $a(EXLCZ)9923976609000041
100   $a20221223d2022      uy             0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 00$aTests and proofs $e16th international conference, TAP 2022, held as part of STAF 2022, Nantes, France, July 5, 2022 : proceedings /$fedited by Laura Kova?cs and Karl Meinke
210  1$aCham, Switzerland :$cSpringer,$d[2022]
210  4$d©2022
215   $a1 online resource (132 pages)
225 1 $aLecture Notes in Computer Science ;$vv.13361
300   $aDescription based upon print version of record.
311 08$aPrint version: Kovács, Laura Tests and Proofs Cham : Springer International Publishing AG,c2022 9783031098260 
410  0$aLecture Notes in Computer Science 
606   $aComputer software$xVerification
606   $aComputer software$xVerification$vCongresses
606   $aComputer software$xTesting$vCongresses
615  0$aComputer software$xVerification.
615  0$aComputer software$xVerification
615  0$aComputer software$xTesting
676   $a005.3
702   $aMeinke$b K$g(Karl),
702   $aKova?cs$b Laura
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996478865303316
996   $aTests and Proofs$92841686
997   $aUNISA

LEADER 01972nam  2200481   450 
001 9910813360403321
005 20230124220306.0
010   $a0-299-33773-1
035   $a(CKB)5590000000900582
035   $a(OCoLC)1309017885
035   $a(MdBmJHUP)musev2_100095
035   $aEBL6943328
035   $a(OCoLC)1309045182
035   $a(AU-PeEL)EBL6943328
035   $a(MiAaPQ)EBC6943328
035   $a(EXLCZ)995590000000900582
100   $a20230124d2022      uy             0
101 0 $aeng
135   $aur|||||||nn|n
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aFrench film history, 1895-1946 /$fRichard Neupert
210  1$aMadison, Wisconsin :$cUniversity of Wisconsin Press,$d[2022]
210  4$d©2022
215   $a1 online resource
225 0 $aWisconsin film studies
300   $aDescription based upon print version of record.
311   $a0-299-33770-7 
320   $aIncludes bibliographical references and index.
327   $aIntro -- Contents -- List of Illustrations -- Acknowledgments -- 1. Science and Visual Culture in Nineteenth-Century France -- 2. Lumière, Méliès, and the Rise of Cinema in France -- 3. Pathé and Gaumont Create a French Film Industry -- 4. French Production Practices of the 1920s: Revitalizing Art and Industry -- 5. Early 1930s French Cinema: The Transition to Sound -- 6. Late 1930s French Cinema: Innovative Style, Politics, and Poetic Realism -- 7. Occupation Cinema: A Fractured Nation and Film Community -- Epilogue: Toward a New Era in French Cinema -- Bibliography -- Index
410  0$aWisconsin Film Studies
606   $aMotion pictures
615  0$aMotion pictures.
676   $a791.450944
700   $aNeupert$b Richard John$0861946
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910813360403321
996   $aFrench film history, 1895-1946$94013289
997   $aUNINA

LEADER 00891nam0 22002531i 450 
001 UON00320891
005 20231205104139.707
100   $a20090217d1986       |0itac50      ba
101   $abul
102   $aBG
105   $a||||    1||||
200 1 $aVnezapni$estichotvorenija$fAleksandar Gerov
210   $aSofija$cBalgarski Pisatel$d1986
215   $a92 p.$d21 cm.
620   $aBG$dSofija$3UONL003208
676   $a891.81$cLetteratura bulgara$v21
700  1$aGEROV$bAleksandar$3UONV182664$0699009
712   $aBalgarski Pisatel$3UONV274726$4650
801   $aIT$bSOL$c20241213$gRICA
899   $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$2UONSI
912   $aUON00320891
950   $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI BULGARO   A                       II          0248                $eSI EO 41544    5        0248                
996   $aVnezapni$91370977
997   $aUNIOR