LEADER 00845nam a2200229 i 4500
001 991000436879707536
005 20020506130448.0
008 930622s1967    sz            ||| | fre  
035   $ab10700201-39ule_inst
035   $aEXGIL145461$9ExL
040   $aBiblioteca Interfacoltà$bita
100 1 $aNeymarck, Alfred$056029
245 10$aTurgot et ses doctrines /$cAlfred Neymarck
260   $aGenève :$bSlatkine Reprints,$c1967
300   $a2 v. ;$c23 cm.
650  4$aTurgot, Anne-Robert Jacques : de l'Aulne, baron
907   $a.b10700201$b02-04-14$c28-06-02
912   $a991000436879707536
945   $aLE002 Fil. XIV G 28/I-II$g1$iLE002-14508-14509$lle002$o-$pE0.00$q-$rl$s-  $t0$u0$v0$w0$x0$y.i10795157$z28-06-02
996   $aTurgot et ses doctrines$9909409
997   $aUNISALENTO
998   $ale002$b01-01-93$cm$da  $e-$ffre$gsz $h0$i1

LEADER 03107nam  22007335  450 
001 9910427705203321
005 20251113210300.0
010   $a3-030-58167-5
024 7 $a10.1007/978-3-030-58167-1
035   $a(CKB)4100000011508873
035   $a(DE-He213)978-3-030-58167-1
035   $a(MiAaPQ)EBC6381021
035   $a(PPN)258060425
035   $a(EXLCZ)994100000011508873
100   $a20201016d2020      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aSystems Modelling and Management $eFirst International Conference, ICSMM 2020, Bergen, Norway, June 25?26, 2020, Proceedings /$fedited by Önder Babur, Joachim Denil, Birgit Vogel-Heuser
205   $a1st ed. 2020.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020.
215   $a1 online resource (XII, 197 p. 28 illus., 1 illus. in color.) 
225 1 $aCommunications in Computer and Information Science,$x1865-0937 ;$v1262
311 08$a3-030-58166-7 
327   $aVerification and Validation -- Applications -- Methods, Techniques and Tools.
330   $aThis book constitutes the refereed proceedings of the First International Conference on Systems Modelling and Management, ICSMM 2020, planned to be held in Bergen, Norway, in June 2020. Due to the COVID-19 pandemic the conference did not take place physically or virtually. The 10 full papers and 3 short papers were thoroughly reviewed and selected from 19 qualified submissions. The papers are organized according to the following topical sections: verification and validation; applications; methods, techniques and tools.
410  0$aCommunications in Computer and Information Science,$x1865-0937 ;$v1262
606   $aSoftware engineering
606   $aProgramming languages (Electronic computers)
606   $aComputer systems
606   $aComputer programming
606   $aArtificial intelligence
606   $aMicroprogramming
606   $aSoftware Engineering
606   $aProgramming Language
606   $aComputer System Implementation
606   $aProgramming Techniques
606   $aArtificial Intelligence
606   $aControl Structures and Microprogramming
615  0$aSoftware engineering.
615  0$aProgramming languages (Electronic computers).
615  0$aComputer systems.
615  0$aComputer programming.
615  0$aArtificial intelligence.
615  0$aMicroprogramming.
615 14$aSoftware Engineering.
615 24$aProgramming Language.
615 24$aComputer System Implementation.
615 24$aProgramming Techniques.
615 24$aArtificial Intelligence.
615 24$aControl Structures and Microprogramming.
676   $a005.1
702   $aBabur$b Onder
702   $aDenil$b Joachim
702   $aVogel-Heuser$b Birgit
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910427705203321
996   $aSystems modelling and management$92139672
997   $aUNINA