01184nam2-2200385---450-99000321245020331620090401095028.0978-88-7870-296-7000321245USA01000321245(ALEPH)000321245USA0100032124520090401h2008----km-y0itay50------baitaITaf--||||001yy<<3.>> : Testimonianze e riflessioni sull'arte come veicoloa cura di Antonio Attisani e Mario BiaginiRomaBulzoni2008213 p.ill.21 cmBiblioteca teatrale1552001Biblioteca teatrale15520010010002949192001Opere e sentieriGrotowski,JerzyTeatroBNCF792.092ATTISANI,AntonioBIAGINI,MarioITsalbcISBD990003212450203316XIII.1. Coll. 5/ 41/3209731 L.M.XIII.1.00206102BKUMAMARTUCCIEL9020090401USA010950Testimonianze e riflessioni sull'arte come veicolo1012535UNISA04876nam 22006495 450 99646575840331620200629135005.03-540-47240-110.1007/3-540-55585-4(CKB)1000000000233831(SSID)ssj0000320803(PQKBManifestationID)11231139(PQKBTitleCode)TC0000320803(PQKBWorkID)10257868(PQKB)11146284(DE-He213)978-3-540-47240-7(PPN)155231421(EXLCZ)99100000000023383120121227d1992 u| 0engurnn|008mamaatxtccrAda: Moving Towards 2000[electronic resource] 11th Ada-Europe International Conference, Zandvoort, The Netherlands, June 1-5, 1992. Proceedings /edited by Jan van Katwijk1st ed. 1992.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1992.1 online resource (VIII, 328 p.) Lecture Notes in Computer Science,0302-9743 ;603Bibliographic Level Mode of Issuance: Monograph3-540-55585-4 Distributed application designed using MASCOT and implemented in Ada -- Real time Ada in the International Space Station freedom -- Managing Ada object-oriented development -- Software engineering, Ada and metrics -- Using Ada source code generators in a large project -- Design and code metrics through a DIANA-based tool -- Using ADA in integrating ATC systems -- An evaluation of ADA source code reuse -- Porting embedded real-time ADA software -- Reusable executives for hard real-time systems in Ada -- Designing hard real-time systems -- Runtime system support for data-oriented synchronization in Ada-9X -- Decimal arithmetic in Ada -- Task Dependence Net as a representation for concurrent Ada programs -- Detection and avoidance of elaboration-time problems for multi-unit real-time Ada applications -- Simulation of Mosca specifications in Ada -- Considerations with regard to validation of Ada debuggers -- SWG APSE test support toolset (assessment of the CAIS-A interface set) -- Compilation Integration: A solution for the challenge of developing and reusing ada software on different platforms -- Extending working environments for the development of reactive/adaptive systems with intelligent controls -- Predicting the speedup of parallel Ada programs -- A highly parallel Ada task scheduler -- STRAda An Ada transformation and distribution system -- AMPATS A multi processor Ada tool set -- A practical use of the Ada Rendez-Vous paradigm in distributed systems.Software engineering and the language Ada are playing a major role in the development of software and software technology for the new century. The11th Ada Europe conference shows that Ada has matured from a language, mainly of researchers and academics in the early 1980s, into a full-grown tool in software engineering practice. This volume contains a selection of contributions to the conference. They demonstrate that Ada is very beneficially used in many software development projects and is gradually becoming accepted on the scale it deserves. Papers have been selected that show that Ada is indeed ripened in all aspects of software engineering. A variety of topics is addressed: management, economics, practical experiences, numerics, and the use of Ada for real-time and distributed systems.Lecture Notes in Computer Science,0302-9743 ;603Programming languages (Electronic computers)Software engineeringComputer programmingOperating systems (Computers)Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14045Programming languages (Electronic computers).Software engineering.Computer programming.Operating systems (Computers).Programming Languages, Compilers, Interpreters.Software Engineering.Programming Techniques.Operating Systems.005.13/3Katwijk Jan vanedthttp://id.loc.gov/vocabulary/relators/edtAda-Europe International ConferenceBOOK996465758403316Ada: Moving Towards 20002830683UNISA02103nam 2200361z- 450 991049071450332120210709(CKB)5590000000533427(oapen)https://directory.doabooks.org/handle/20.500.12854/71153(oapen)doab71153(EXLCZ)99559000000053342720202107d2021 |y 0gerurmn|---annantxtrdacontentcrdamediacrrdacarrierSmart Criminal JusticeBaselHelbing Lichtenhahn Verlag20211 online resource3-7190-4397-5 Der Einsatz moderner Technik in der Polizeiarbeit, in der Strafrechtspflege und im Justizvollzug gewinnt im digitalen Zeitalter an Bedeutung. Auch in der Schweiz prägen algorithmische Anwendungen zunehmend die Arbeit der Polizei- und Strafbehörden. Insbesondere im Rahmen des Predictive Policing, des Bedrohungsmanagements, der Kriminalanalyse und des Risikoorientierten Sanktionenvollzugs sind technische Hilfsmittel kaum mehr wegzudenken. Dieser Einsatz immer intelligenter werdender Technik wirft verschiedene rechtliche, kriminalistische, kriminologische, verwaltungswissenschaftliche und nicht zuletzt gesellschaftspolitische Fragen auf. Der vorliegende Sammelband nimmt sich diesen Fragen erstmals umfassend an und beschäftigt sich in verschiedenen Beiträgen mit den Potenzialen und Risiken der Digitalisierung für die Polizeiarbeit und Strafrechtspflege. Das Werk erlaubt so eine interdisziplinäre sowie kritische Annäherung an das Phänomen einer «Smart Criminal Justice» und damit an die Strafrechtspflege des digitalen Zeitalters.Information technology: general topicsbicsscAlgorithmenBedrohungsmanagementPolizeiarbeitStrafrechtspflegeInformation technology: general topicsSimmler Monika1990-BOOK9910490714503321Smart criminal justice3401460UNINA