04497nam 22005415 450 99646612740331620200702113309.03-540-49435-910.1007/BFb0015232(CKB)1000000000234301(SSID)ssj0000322133(PQKBManifestationID)11246833(PQKBTitleCode)TC0000322133(PQKBWorkID)10280322(PQKB)11341873(DE-He213)978-3-540-49435-5(PPN)155202618(EXLCZ)99100000000023430120121227d1995 u| 0engurnn#008mamaatxtccrComputer Science Today[electronic resource] Recent Trends and Developments /edited by Jan van Leeuwen1st ed. 1995.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1995.1 online resource (XV, 645 p.)Lecture Notes in Computer Science,0302-9743 ;1000Bibliographic Level Mode of Issuance: Monograph3-540-60105-8 A quantum jump in computer science -- Artificial life and real world computing -- Recurrent neural networks -- Scalable computing -- Efficient use of parallel & distributed systems: From theory to practice -- Experimental validation of models of parallel computation -- Quo vadetis, parallel machine models? -- Templates for linear algebra problems -- The ART behind IDEAS -- Algorithmic number theory and its relationship to computational complexity -- Edge-coloring algorithms -- Towards a computational theory of genome rearrangements -- Algebraic topology and distributed computing a primer -- Differential BDDs -- Algorithmic techniques for geometric optimization -- All the needles in a haystack: Can exhaustive search overcome combinatorial chaos? -- Fundamental limitations on search algorithms: Evolutionary computing in perspective -- Mathematical system models as a basis of software engineering -- Formulations and formalisms in software architecture -- The Oz Programming Model -- Standard Generalized Markup Language: Mathematical and philosophical issues -- Avoiding the undefined by underspecification -- Towards a theory of recursive structures -- Chu spaces and their interpretation as concurrent objects -- Abstracting unification: A key step in the design of logic program analyses -- Programming Satan's computer -- Petri Net models of distributed algorithms -- Symmetry and induction in model checking -- Alternating automata and program verification -- Reasoning about actions and change with ramification -- Trends in active vision -- Computational machine learning in theory and praxis -- Fuzzy sets as a tool for modeling -- Information retrieval and informative reasoning -- Database transaction models -- Multimedia authoring tools: State of the art and research challenges -- Computational models for distributed multimedia applications -- Hypermedia systems as internet tools.This specially commissioned volume presents a unique collection of expository papers on major topics that are representative for computer science today. The 38 contributions, written by internationally leading experts in the computer science area on personal invitation, demonstrate the scope and stature of the field today and give an impression of the chief motivations and challenges for tomorrow's computer science and information technology. This anthology marks a truly extraordinary and festive moment: it is the 1000th volume published in the Lecture Notes in Computer Science series. It addresses all computer scientists and anybody interested in a representative overview of the field.Lecture Notes in Computer Science,0302-9743 ;1000ComputersEducation—Data processingTheory of Computationhttps://scigraph.springernature.com/ontologies/product-market-codes/I16005Computers and Educationhttps://scigraph.springernature.com/ontologies/product-market-codes/I24032Computers.Education—Data processing.Theory of Computation.Computers and Education.004Leeuwen Jan vanedthttp://id.loc.gov/vocabulary/relators/edtBOOK996466127403316COMPUTER science today120194UNISA01160nam a22003011i 450099100413216970753620031004154711.0031111s1988 it |||||||||||||||||ita b12527154-39ule_instARCHE-056042ExLDip.to LingueitaA.t.i. Arché s.c.r.l. Pandora Sicilia s.r.l.301.1Wagner, Abe458161Il manager transazionale :come risolvere i problemi delle persone con l'analisi transazionale /Abe Wagner ; edizione italiana a cura di Vittoria BorellaMilano :F. Angeli,1988223 p. ;22 cmTrend ;4Trad. di Vittoria BorellaAziendePersonaleGestioneRelazioni interpersonaliBorella, Vittoria M.transactional manager.b1252715402-04-1413-11-03991004132169707536LE012 301.1 ANG 1612012000174009le012-E0.00-l- 00000.i1296973413-11-03Manager transazionale173203UNISALENTOle01213-11-03ma -itait 3101215nas a2200241 i 450099100261442970753620231114120758.0011205m||||9999 || | |||| b11683776-39ule_instPERLE003791ExLCDU 639.2General fisheries council for the Mediterranean. Proceedings and Technical PapersGeneral fisheries council for the Mediterranean. Proceedings and Technical Papers= Conseil général des pêches pour la Méditérranée. Débats et Documents Techniques /Food and Agriculture Organization of the United Nations. - (??)-Rome,(??)-Codice CNR: P 00033186LE003 1978-FAOauthorhttp://id.loc.gov/vocabulary/relators/aut17670.b1168377602-04-1408-07-02991002614429707536LE0031le003-E0.00-no 180000.i1191249208-07-02General fisheries council for the Mediterranean. Proceedings and Technical Papers= Conseil général des pêches pour la Méditérranée. Débats et Documents Techniques1452934UNISALENTOle00301-01-01sa -engxx 0101409cam a22002897i 450099100321426970753620250430130146.0950628s1789 it b 000 0 ita db14298053-39ule_instCICOGNARA-A2012-0468ExLBibl. Interfacoltà T. PellegrinoitaVasari, Giorgio<1511-1574>37469Vita di M. Jacopo Sansovinoscultore e architetto della Repubblica di Venetia,descritta da M. Giorgio Vasari, e da lui medesimo ampliata, riformata e corretta.2. ed.In Venetia :appresso Antonio Zatta e figli,1789.36 p.; 4° (33 cm)."Prefazione di don Jacopo Morelli": p. 3-5.Front. con incisione.Riproduzione in microfiche dell'originale conservato presso la Biblioteca Apostolica VaticanaLeopoldo Cicognara Program :Biblioteca Cicognara[microform] : literary sources in the history of art and kindred subjectsCatalogo ragionato dei libri d'arte e d'antichità / Leopoldo Cicognara.b1429805301-04-2228-07-16991003214269707536LE002 SB Raccolta Cicognara, mcrf 23950le002E0.00no 110000.i1576956228-07-16Vita di M. Jacopo Sansovino1391621UNISALENTOle00228-07-16mg -itait 01