{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":3,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":64,"n_cols":5,"rows_kept":64,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[3,2,3,3],[4,2,4,3],[7,2,7,3],[8,2,8,3],[12,2,12,3],[12,4,12,5],[13,2,13,3],[13,4,13,5],[14,2,14,3],[15,2,15,3],[22,2,22,3],[23,2,23,3],[24,2,24,3],[25,2,25,3],[27,2,27,3],[28,2,28,3],[32,2,32,3],[35,2,35,3],[35,4,35,5],[36,2,36,3],[36,4,36,5],[37,2,37,3],[37,4,37,5],[38,2,38,3],[39,2,39,3],[45,2,45,3],[46,2,46,3],[47,2,47,3],[48,2,48,3],[50,2,50,3],[51,2,51,3],[54,2,54,3],[55,2,55,3],[58,2,58,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISALENTO991003433959707536"]
[null,null,"Titolo",null,"The anatomical record : advances in integrative anatomy and evolutionary biology [e-journal]. - 2007-"]
[null,null,"Pubbl/distr/stampa",null,"Hoboken, N. J. : John Wiley & Sons, 2007-"]
[null,null,"ISSN",null,"1932-8494"]
[null,null,"Soggetti",null,"Anatomy - Periodicals"]
[{"$nulls":4},"Molecular Evolution - Periodicals"]
[{"$nulls":4},"Molecular Biology - Periodicals"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Periodico"]
[null,null,null,"Note generali","An official publication of the American Association of Anatomists"]
[{"$nulls":4},"From 2003 since 2007 formed by the merger of : \"The Anatomical Record. Part A: Discoveries in Molecular, Cellular, and Evolutionary Biology\" and \"The Anatomical Record. Part B: New Anatomist\"  both of which superseded in part (1906-2002): \"The Anatomical Record\". - ISSN: 0003-276X"]
[null,"2.","Record Nr.",null,"UNINA9910782378903321"]
[null,null,"Titolo",null,"Formal logical methods for system security and correctness [[electronic resource] /] / edited by Orna Grumberg, Tobias Nipkow and Christian Pfaller"]
[null,null,"Pubbl/distr/stampa",null,"Amsterdam, Netherlands ; ; Washington, DC, : IOS Press, c2008"]
[null,null,"ISBN",null,"6611733469"]
[{"$nulls":4},"1-281-73346-6"]
[{"$nulls":4},"9786611733469"]
[{"$nulls":4},"1-4356-7788-9"]
[{"$nulls":4},"1-60750-315-8"]
[{"$nulls":4},"600-00-0427-3"]
[{"$nulls":4},"1-4337-1233-4"]
[null,null,"Descrizione fisica",null,"1 online resource (332 p.)"]
[null,null,"Collana",null,"NATO security through science series. D, Information and communication security, , 1874-6268 ; ; v. 14"]
[null,null,"Disciplina",null,"005.8"]
[null,null,"Soggetti",null,"Computer security"]
[{"$nulls":4},"Computer logic"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","\"Proceedings of the NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness, Marktoberdorf, Germany, 31 July-12 August 2007.\"--T.p. verso."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Title page; Preface; Contents; Compilation of Certificates; Formal Foundations of Computer Security; Building a Software Model Checker; Symbolic Trajectory Evaluation (STE): Automatic Refinement and Vacuity Detection; Automated and Interactive Theorem Proving; Correctness of Effect-Based Program Transformations; Abstract and Concrete Models for Recursion; Secrecy Analysis in Protocol Composition Logic; The Engineering Challenges of Trustworthy Computing; Reflecting Quantifier Elimination for Linear Arithmetic; Content in Proofs of List Reversal; Proof Theory, Large Functions and Combinatorics"]
[{"$nulls":4},"Author Index"]
[null,null,null,"Sommario/riassunto","Offers information in the field of proof technology in connection with secure and correct software. This title shows that methods of correct-by-construction program and process synthesis allow a high level programming method more amenable to security and reliability analysis and guarantees."]
[null,"3.","Record Nr.",null,"UNINA9910956985103321"]
[null,null,"Autore",null,"Hillier Jim"]
[null,null,"Titolo",null,"100 film musicals / / Jim Hillier & Douglas Pye"]
[null,null,"Pubbl/distr/stampa",null,"London : , : British Film Institute : , :  Bloomsbury Publishing (UK), , 2011"]
[null,null,"ISBN",null,"9781838710644"]
[{"$nulls":4},"1838710647"]
[{"$nulls":4},"9781838714048"]
[{"$nulls":4},"1838714049"]
[{"$nulls":4},"9781844575688"]
[{"$nulls":4},"1844575683"]
[null,null,"Edizione",null,"[First edition.]"]
[null,null,"Descrizione fisica",null,"1 online resource (290 pages) : illustrations"]
[null,null,"Collana",null,"Screen Guides"]
[null,null,"Classificazione",null,"9,2"]
[{"$nulls":4},"LR 54130"]
[null,null,"Disciplina",null,"792.6"]
[null,null,"Soggetti",null,"Musical films"]
[{"$nulls":4},"Film & Media"]
[{"$nulls":4},"Films, cinema"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Cover -- Half-Title -- Title -- Copyright -- Contents -- Acknowledgments -- Introduction -- Afrita Hanem, Henri Barakat, 1949 -- An American in Paris, Vincente Minnelli, 1951 -- Anchors Aweigh, George Sidney, 1945 -- Ansiedad, Miguel Zacarias, 1953 -- Applause, Rouben Mamoulian, 1929 -- The Band Wagon, Vincente Minnelli, 1953 -- Cabaret, Bob Fosse, 1972 -- Cabin in the Sky, Vincente Minnelli, 1943 -- Calamity Jane, David Butler, 1953 -- Car Wash, Michael Schultz, 1976 -- Carmen Jones, Otto Preminger, 1954 -- Carousel, Henry King, 1956 -- Cavalcade, Frank Lloyd, 1933 -- Chicago, Rob Marshall, 2002 -- Come on George!, Anthony Kimmins, 1939 -- Cover Girl, Charles Vidor, 1944 -- Dancer in the Dark, Lars von Trier, 2000 -- Les Demoiselles de Rochefort, Jacques Demy, 1967 -- Dil se ..., Mani Ratnam, 1998 -- Die Dreigroschenoper, G. W. Pabst, 1931 -- Easter Parade, Charles Walters, 1948 -- Evergreen, Victor Saville, 1934 -- Flying Down to Rio, Thornton Freeland, 1933 -- Footlight Parade, Lloyd Bacon, 1933 -- Footloose, Herbert Ross, 1984 -- 42nd Street, Lloyd Bacon, 1933 -- Funny Face, Stanley Donen, 1957 "]
[{"$nulls":4},"-- Funny Girl, William Wyler, 1968 -- The Gay Divorcee, Mark Sandrich, 1934 -- Gentlemen Prefer Blondes, Howard Hawks, 1953 -- The Girl Can't Help It, Frank Tashlin, 1956 -- Gold Diggers of 1933, Mervyn LeRoy, 1933 -- Golden Eighties, Chantal Akerman, 1986 -- Grease, Randal Kleiser, 1978 -- Guys and Dolls, Joseph L. Mankiewicz, 1955 -- Hallelujah!, King Vidor, 1929 -- A Hard Day's Night, Richard Lester, 1964 -- The Harder They Come, Perry Henzell, 1972 -- High School Musical, Kenny Ortega, 2006 -- Holiday Inn, Mark Sandrich, 1942 -- 8 femmes, François Ozon, 2002 -- It's Always Fair Weather, Gene Kelly/Stanley Donen, 1955 -- Jailhouse Rock, Richard Thorpe, 1957 -- Janken musume, Sugie Toshio, 1955 -- The Jazz Singer, Alan Crosland, 1927."]
[{"$nulls":4},"Kiss Me Kate, George Sidney, 1953 -- Der Kongress tanzt, Erik Charell, 1931 -- Little Shop of Horrors, Frank Oz, 1986 -- The Littlest Rebel, David Butler, 1935 -- Love Me or Leave Me, Charles Vidor, 1955 -- Love Me Tonight, Rouben Mamoulian, 1932 -- The Love Parade, Ernst Lubitsch, 1929 -- Mary Poppins, Robert Stevenson, 1964 -- Meet Me in St. Louis, Vincente Minnelli, 1944 -- The Merry Widow, Ernst Lubitsch, 1934 -- Le Million, René Clair, 1931 -- Moulin Rouge!, Baz Luhrmann, 2001 -- The Music Man, Morton DaCosta, 1962 -- Nashville, Robert Altman, 1975 -- Naughty Marietta, Robert Z. Leonard/W. S. van Dyke, 1935 -- New York, New York, Martin Scorsese, 1977 -- Oklahoma!, Fred Zinnemann, 1955 -- Oliver!, Carol Reed, 1968 -- On the Town, Gene Kelly/Stanley Donen, 1949 -- One from the Heart, Francis Ford Coppola, 1982 -- One Hour with You, Ernst Lubitsch/George Cukor, 1932 -- 100 Men and a Girl, Henry Koster, 1937 -- Opera Jawa, Garin Nugroho, 2006 -- Original Cast Album: Company, D. A. Pennebaker, 1970 -- The Pajama Game, George Abbott/Stanley Donen, 1957 -- Pakeezah, Kamal Amrohi, 1972 -- Les Parapluies de Cherbourg, Jacques Demy, 1964 -- Pas sur la bouche, Alain Resnais, 2003 -- The Pirate, Vincente Minnelli, 1948 -- Pyaasa, Guru Dutt, 1957 -- The Rocky Horror Picture Show, Jim Sharman, 1975 -- Saturday Night Fever, John Badham, 1977 -- Seven Brides for Seven Brothers, Stanley Donen, 1954 -- Sholay, Ramesh Sippy, 1975 -- Show Boat, James Whale, 1936 -- Shree 420, Raj Kapoor, 1955 -- Silk Stockings, Rouben Mamoulian, 1957 -- Sing as We Go, Basil Dean, 1934 -- Singin' in the Rain, Gene Kelly/Stanley Donen, 1952 -- Snow White and the Seven Dwarfs, David Hand, 1937 -- The Sound of Music, Robert Wise, 1965 -- A Star Is Born, George Cukor, 1954 -- Stormy Weather, Andrew L. Stone, 1943 -- Summer Holiday, Rouben Mamoulian, 1948."]
[{"$nulls":4},"Swing Time, George Stevens, 1936 -- Top Hat, Mark Sandrich, 1935 -- True Stories, David Byrne, 1986 -- Viktor und Viktoria, Reinhold Schünzel, 1933 -- Volga-Volga, Grigori Aleksandrov, 1938 -- West Side Story, Robert Wise/Jerome Robbins, 1961 -- The Wizard of Oz, Victor Fleming, 1939 -- Yankee Doodle Dandy, Michael Curtiz, 1942 -- You and Me, Fritz Lang, 1938 -- Ziegfeld Follies, Vincente Minnelli et al., 1946 -- Zouzou, Marc Allégret, 1934 -- References -- Untitled."]
[null,null,null,"Sommario/riassunto","From the coming of sound to the 1960s, the musical was central to Hollywood production. Exhibiting - often in spectacular fashion - the remarkable resources of the Hollywood studios, musicals came to epitomise the very idea of 'light entertainment'. Films like Top Hat and 42nd Street, Meet Me in St. Louis and On the Town, Singin' in the Rain and Oklahoma!, West Side Story and The Sound of Music were hugely popular, yet were commonly regarded by cultural commentators as trivial and escapist. It was the 1970s before serious study of the Hollywood musical began to change critical attitudes and foster an interest in musical films produced in other cultures. Hollywood musicals have become less common, but the genre persists and both "]
[{"$nulls":4},"academic interest in and fond nostalgia for the musical shows no signs of abating. 100 Film Musicals provides a stimulating overview of the genre's development, its major themes and the critical debates it has provoked. While centred on the dominant Hollywood tradition, 100 Film Musicals includes films from countries that often tried to emulate the Hollywood style, like Britain and Germany, as well as from very different cultures like India, Egypt and Japan. Jim Hillier and Douglas Pye also discuss post-1960s films from many different sources which adapt and reflect on the conventions of the genre, including recent examples such as Moulin Rouge! and High School Musical, demonstrating that the genre is still very much alive."]