Search Results for Science, general. - Narrowed by: Computer industry.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dScience$00252C$002bgeneral.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bindustry.$002509Computer$002bindustry.$0026te$003dILS$0026ps$003d300?dt=list2024-12-23T00:56:21ZSoftware Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3992182024-12-23T00:56:21Z2024-12-23T00:56:21ZAuthor Johnsen, Einar Broch. editor. Schaefer, Ina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92970-5">https://doi.org/10.1007/978-3-319-92970-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:3993972024-12-23T00:56:21Z2024-12-23T00:56:21ZAuthor Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03424-5">https://doi.org/10.1007/978-3-030-03424-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:3994102024-12-23T00:56:21Z2024-12-23T00:56:21ZAuthor Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03421-4">https://doi.org/10.1007/978-3-030-03421-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4000752024-12-23T00:56:21Z2024-12-23T00:56:21ZAuthor Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481 Bensalem, Saddek. editor. Bliudze, Simon. editor. (orcid)0000-0002-7900-5271 Monsuez, Bruno. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00359-3">https://doi.org/10.1007/978-3-030-00359-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2–5, 2018, Proceedings, Part IVent://SD_ILS/0/SD_ILS:4005712024-12-23T00:56:21Z2024-12-23T00:56:21ZAuthor Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Torre, Carmelo M. editor. (orcid)0000-0003-4737-6040<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-95171-3">https://doi.org/10.1007/978-3-319-95171-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedingsent://SD_ILS/0/SD_ILS:4006072024-12-23T00:56:21Z2024-12-23T00:56:21ZAuthor Baier, Christel. editor. (orcid)0000-0002-5321-9343 Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89366-2">https://doi.org/10.1007/978-3-319-89366-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2–5, 2018, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:4023762024-12-23T00:56:21Z2024-12-23T00:56:21ZAuthor Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Torre, Carmelo M. editor. (orcid)0000-0003-4737-6040<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-95168-3">https://doi.org/10.1007/978-3-319-95168-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part Vent://SD_ILS/0/SD_ILS:4023772024-12-23T00:56:21Z2024-12-23T00:56:21ZAuthor Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Torre, Carmelo M. editor. (orcid)0000-0003-4737-6040<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-95174-4">https://doi.org/10.1007/978-3-319-95174-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4001292024-12-23T00:56:21Z2024-12-23T00:56:21ZAuthor Russo, Alessandra. editor. (orcid)0000-0002-3318-8711 Schürr, Andy. editor. (orcid)0000-0001-8100-1109 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89363-1">https://doi.org/10.1007/978-3-319-89363-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4011102024-12-23T00:56:21Z2024-12-23T00:56:21ZAuthor Gallagher, John P. editor. (orcid)0000-0001-6984-7419 Sulzmann, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-90686-7">https://doi.org/10.1007/978-3-319-90686-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:4019492024-12-23T00:56:21Z2024-12-23T00:56:21ZAuthor Petrenko, Alexander K. editor. (orcid)0000-0001-7411-3831 Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-74313-4">https://doi.org/10.1007/978-3-319-74313-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:3993652024-12-23T00:56:21Z2024-12-23T00:56:21ZAuthor Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03418-4">https://doi.org/10.1007/978-3-030-03418-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IVent://SD_ILS/0/SD_ILS:3993662024-12-23T00:56:21Z2024-12-23T00:56:21ZAuthor Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03427-6">https://doi.org/10.1007/978-3-030-03427-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4000392024-12-23T00:56:21Z2024-12-23T00:56:21ZAuthor Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Torre, Carmelo M. editor. (orcid)0000-0003-4737-6040<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-95162-1">https://doi.org/10.1007/978-3-319-95162-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4000402024-12-23T00:56:21Z2024-12-23T00:56:21ZAuthor Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Torre, Carmelo M. editor. (orcid)0000-0003-4737-6040<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-95165-2">https://doi.org/10.1007/978-3-319-95165-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Makers at Work Folks Reinventing the World One Object or Idea at a Timeent://SD_ILS/0/SD_ILS:3307342024-12-23T00:56:21Z2024-12-23T00:56:21ZAuthor Osborn, Steven. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330734.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-5993-0">http://dx.doi.org/10.1007/978-1-4302-5993-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>History of Semiconductor Engineeringent://SD_ILS/0/SD_ILS:1525822024-12-23T00:56:21Z2024-12-23T00:56:21ZAuthor Lojek, Bo. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-34258-8">http://dx.doi.org/10.1007/978-3-540-34258-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>