Search Results for - Narrowed by: Programming Languages, Compilers, Interpreters. - Special Purpose and Application-Based Systems.SirsiDynix Enterprisehttps://catalog.iyte.edu.tr/client/en_US/default/default/qf$003dSUBJECT$002509Subject$002509Programming$002bLanguages$00252C$002bCompilers$00252C$002bInterpreters.$002509Programming$002bLanguages$00252C$002bCompilers$00252C$002bInterpreters.$0026qf$003dSUBJECT$002509Subject$002509Special$002bPurpose$002band$002bApplication-Based$002bSystems.$002509Special$002bPurpose$002band$002bApplication-Based$002bSystems.$0026ps$003d300$0026isd$003dtrue?2024-06-20T14:26:56ZSoftware Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:20853872024-06-20T14:26:56Z2024-06-20T14:26:56Zby Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948<br/><a href="https://doi.org/10.1007/978-3-030-04771-9">https://doi.org/10.1007/978-3-030-04771-9</a><br/>Format: Electronic Resources<br/>Trends in Functional Programming 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20856022024-06-20T14:26:56Z2024-06-20T14:26:56Zby Wang, Meng. editor.<br/><a href="https://doi.org/10.1007/978-3-319-89719-6">https://doi.org/10.1007/978-3-319-89719-6</a><br/>Format: Electronic Resources<br/>Programming with Actors State-of-the-Art and Research Perspectivesent://SD_ILS/0/SD_ILS:20853092024-06-20T14:26:56Z2024-06-20T14:26:56Zby Ricci, Alessandro. editor.<br/><a href="https://doi.org/10.1007/978-3-030-00302-9">https://doi.org/10.1007/978-3-030-00302-9</a><br/>Format: Electronic Resources<br/>On the Move to Meaningful Internet Systems. OTM 2017 Workshops Confederated International Workshops, EI2N, FBM, ICSP, Meta4eS, OTMA 2017 and ODBASE Posters 2017, Rhodes, Greece, October 23–28, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20856482024-06-20T14:26:56Z2024-06-20T14:26:56Zby Debruyne, Christophe. editor.<br/><a href="https://doi.org/10.1007/978-3-319-73805-5">https://doi.org/10.1007/978-3-319-73805-5</a><br/>Format: Electronic Resources<br/>Service-Oriented Computing – ICSOC 2017 Workshops ASOCA, ISyCC, WESOACS, and Satellite Events, Málaga, Spain, November 13–16, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20852872024-06-20T14:26:56Z2024-06-20T14:26:56Zby Braubach, Lars. editor.<br/><a href="https://doi.org/10.1007/978-3-319-91764-1">https://doi.org/10.1007/978-3-319-91764-1</a><br/>Format: Electronic Resources<br/>Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:20852942024-06-20T14:26:56Z2024-06-20T14:26:56Zby Piskac, Ruzica. editor.<br/><a href="https://doi.org/10.1007/978-3-030-03592-1">https://doi.org/10.1007/978-3-030-03592-1</a><br/>Format: Electronic Resources<br/>Software Technologies: Applications and Foundations STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20860242024-06-20T14:26:56Z2024-06-20T14:26:56Zby Seidl, Martina. editor.<br/><a href="https://doi.org/10.1007/978-3-319-74730-9">https://doi.org/10.1007/978-3-319-74730-9</a><br/>Format: Electronic Resources<br/>Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20856832024-06-20T14:26:56Z2024-06-20T14:26:56Zby Gallagher, John P. editor.<br/><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/>Coordination Models and Languages 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedingsent://SD_ILS/0/SD_ILS:20857842024-06-20T14:26:56Z2024-06-20T14:26:56Zby Di Marzo Serugendo, Giovanna. editor. (orcid)0000-0001-5048-5251<br/><a href="https://doi.org/10.1007/978-3-319-92408-3">https://doi.org/10.1007/978-3-319-92408-3</a><br/>Format: Electronic Resources<br/>Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lecturesent://SD_ILS/0/SD_ILS:20857992024-06-20T14:26:56Z2024-06-20T14:26:56Zby Liu, Zhiming. editor.<br/><a href="https://doi.org/10.1007/978-3-319-29628-9">https://doi.org/10.1007/978-3-319-29628-9</a><br/>Format: Electronic Resources<br/>Critical Systems: Formal Methods and Automated Verification Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20859302024-06-20T14:26:56Z2024-06-20T14:26:56Zby ter Beek, Maurice H. editor.<br/><a href="https://doi.org/10.1007/978-3-319-45943-1">https://doi.org/10.1007/978-3-319-45943-1</a><br/>Format: Electronic Resources<br/>Testing Software and Systems 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20854412024-06-20T14:26:56Z2024-06-20T14:26:56Zby Wotawa, Franz. editor.<br/><a href="https://doi.org/10.1007/978-3-319-47443-4">https://doi.org/10.1007/978-3-319-47443-4</a><br/>Format: Electronic Resources<br/>Reliable Software Technologies – Ada-Europe 2016 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20857272024-06-20T14:26:56Z2024-06-20T14:26:56Zby Bertogna, Marko. editor.<br/><a href="https://doi.org/10.1007/978-3-319-39083-3">https://doi.org/10.1007/978-3-319-39083-3</a><br/>Format: Electronic Resources<br/>Euro-Par 2016: Parallel Processing 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20856602024-06-20T14:26:56Z2024-06-20T14:26:56Zby Dutot, Pierre-François. editor.<br/><a href="https://doi.org/10.1007/978-3-319-43659-3">https://doi.org/10.1007/978-3-319-43659-3</a><br/>Format: Electronic Resources<br/>Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4–6, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20852212024-06-20T14:26:56Z2024-06-20T14:26:56Zby Remke, Anne. editor.<br/><a href="https://doi.org/10.1007/978-3-319-31559-1">https://doi.org/10.1007/978-3-319-31559-1</a><br/>Format: Electronic Resources<br/>PRIMA 2016: Principles and Practice of Multi-Agent Systems 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20862012024-06-20T14:26:56Z2024-06-20T14:26:56Zby Baldoni, Matteo. editor.<br/><a href="https://doi.org/10.1007/978-3-319-44832-9">https://doi.org/10.1007/978-3-319-44832-9</a><br/>Format: Electronic Resources<br/>Formal Methods for Industrial Critical Systems 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papersent://SD_ILS/0/SD_ILS:5035482024-06-20T14:26:56Z2024-06-20T14:26:56Zby Leue, Stefan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-79707-4">http://dx.doi.org/10.1007/978-3-540-79707-4</a><br/>Format: Electronic Resources<br/>Reliable Software Technologies – Ada-Europe 2008 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5026622024-06-20T14:26:56Z2024-06-20T14:26:56Zby Kordon, Fabrice. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-68624-8">http://dx.doi.org/10.1007/978-3-540-68624-8</a><br/>Format: Electronic Resources<br/>Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lecturesent://SD_ILS/0/SD_ILS:5026892024-06-20T14:26:56Z2024-06-20T14:26:56Zby Bernardo, Marco. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-68894-5">http://dx.doi.org/10.1007/978-3-540-68894-5</a><br/>Format: Electronic Resources<br/>Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5037522024-06-20T14:26:56Z2024-06-20T14:26:56Zby Cha, Sungdeok (Steve). editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-88387-6">http://dx.doi.org/10.1007/978-3-540-88387-6</a><br/>Format: Electronic Resources<br/>Network Performance Analysis Using the J Programming Languageent://SD_ILS/0/SD_ILS:5024242024-06-20T14:26:56Z2024-06-20T14:26:56Zby Holt, Alan. author.<br/><a href="http://dx.doi.org/10.1007/978-1-84628-823-4">http://dx.doi.org/10.1007/978-1-84628-823-4</a><br/>Format: Electronic Resources<br/>Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedingsent://SD_ILS/0/SD_ILS:5129262024-06-20T14:26:56Z2024-06-20T14:26:56Zby Namjoshi, Kedar S. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-75596-8">http://dx.doi.org/10.1007/978-3-540-75596-8</a><br/>Format: Electronic Resources<br/>Reliable Software Technologies – Ada Europe 2007 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5126212024-06-20T14:26:56Z2024-06-20T14:26:56Zby Abdennadher, Nabil. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73230-3">http://dx.doi.org/10.1007/978-3-540-73230-3</a><br/>Format: Electronic Resources<br/>Formal Methods: Applications and Technology 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papersent://SD_ILS/0/SD_ILS:5122532024-06-20T14:26:56Z2024-06-20T14:26:56Zby Brim, Luboš. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-70952-7">http://dx.doi.org/10.1007/978-3-540-70952-7</a><br/>Format: Electronic Resources<br/>Advances in Design and Specification Languages for Embedded Systems Selected Contributions from FDL'06ent://SD_ILS/0/SD_ILS:5075522024-06-20T14:26:56Z2024-06-20T14:26:56Zby Huss, Sorin A. editor.<br/><a href="http://dx.doi.org/10.1007/978-1-4020-6149-3">http://dx.doi.org/10.1007/978-1-4020-6149-3</a><br/>Format: Electronic Resources<br/>Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lecturesent://SD_ILS/0/SD_ILS:5124872024-06-20T14:26:56Z2024-06-20T14:26:56Zby Bernardo, Marco. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-72522-0">http://dx.doi.org/10.1007/978-3-540-72522-0</a><br/>Format: Electronic Resources<br/>Advanced Memory Optimization Techniques for Low-Power Embedded Processorsent://SD_ILS/0/SD_ILS:5074522024-06-20T14:26:56Z2024-06-20T14:26:56Zby Verma, Manish. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4020-5897-4">http://dx.doi.org/10.1007/978-1-4020-5897-4</a><br/>Format: Electronic Resources<br/>Formal Modeling and Analysis of Timed Systems 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5129072024-06-20T14:26:56Z2024-06-20T14:26:56Zby Raskin, Jean-François. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-75454-1">http://dx.doi.org/10.1007/978-3-540-75454-1</a><br/>Format: Electronic Resources<br/>Formal Modeling and Analysis of Timed Systems 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5117052024-06-20T14:26:56Z2024-06-20T14:26:56Zby Asarin, Eugene. editor.<br/><a href="http://dx.doi.org/10.1007/11867340">http://dx.doi.org/10.1007/11867340</a><br/>Format: Electronic Resources<br/>System Analysis and Modeling: Language Profiles 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papersent://SD_ILS/0/SD_ILS:5120742024-06-20T14:26:56Z2024-06-20T14:26:56Zby Gotzhein, Reinhard. editor.<br/><a href="http://dx.doi.org/10.1007/11951148">http://dx.doi.org/10.1007/11951148</a><br/>Format: Electronic Resources<br/>Practical .NET for Financial Marketsent://SD_ILS/0/SD_ILS:5078472024-06-20T14:26:56Z2024-06-20T14:26:56Zby Shetty, Yogesh. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0147-2">http://dx.doi.org/10.1007/978-1-4302-0147-2</a><br/>Format: Electronic Resources<br/>Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papersent://SD_ILS/0/SD_ILS:5109792024-06-20T14:26:56Z2024-06-20T14:26:56Zby Barthe, Gilles. editor.<br/><a href="http://dx.doi.org/10.1007/11741060">http://dx.doi.org/10.1007/11741060</a><br/>Format: Electronic Resources<br/>Reliable Software Technologies – Ada-Europe 2006 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5111902024-06-20T14:26:56Z2024-06-20T14:26:56Zby Pinho, Luís Miguel. editor.<br/><a href="http://dx.doi.org/10.1007/11767077">http://dx.doi.org/10.1007/11767077</a><br/>Format: Electronic Resources<br/>Leveraging Applications of Formal Methods First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:5119282024-06-20T14:26:56Z2024-06-20T14:26:56Zby Margaria, Tiziana. editor.<br/><a href="http://dx.doi.org/10.1007/11925040">http://dx.doi.org/10.1007/11925040</a><br/>Format: Electronic Resources<br/>Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lecturesent://SD_ILS/0/SD_ILS:5110912024-06-20T14:26:56Z2024-06-20T14:26:56Zby Bernardo, Marco. editor.<br/><a href="http://dx.doi.org/10.1007/11757283">http://dx.doi.org/10.1007/11757283</a><br/>Format: Electronic Resources<br/>Automated Technology for Verification and Analysis 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5118352024-06-20T14:26:56Z2024-06-20T14:26:56Zby Graf, Susanne. editor.<br/><a href="http://dx.doi.org/10.1007/11901914">http://dx.doi.org/10.1007/11901914</a><br/>Format: Electronic Resources<br/>System Level Design of Reconfigurable Systems-on-Chipent://SD_ILS/0/SD_ILS:5044832024-06-20T14:26:56Z2024-06-20T14:26:56Zby Voros, Nikolaos S. editor.<br/><a href="http://dx.doi.org/10.1007/b136832">http://dx.doi.org/10.1007/b136832</a><br/>Format: Electronic Resources<br/>Formal Modeling and Analysis of Timed Systems Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5100882024-06-20T14:26:56Z2024-06-20T14:26:56Zby Pettersson, Paul. editor.<br/><a href="http://dx.doi.org/10.1007/11603009">http://dx.doi.org/10.1007/11603009</a><br/>Format: Electronic Resources<br/>Construction and Analysis of Safe, Secure, and Interoperable Smart Devices International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:5097482024-06-20T14:26:56Z2024-06-20T14:26:56Zby Barthe, Gilles. editor.<br/><a href="http://dx.doi.org/10.1007/b105030">http://dx.doi.org/10.1007/b105030</a><br/>Format: Electronic Resources<br/>Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lecturesent://SD_ILS/0/SD_ILS:5103862024-06-20T14:26:56Z2024-06-20T14:26:56Zby Bernardo, Marco. editor.<br/><a href="http://dx.doi.org/10.1007/b135888">http://dx.doi.org/10.1007/b135888</a><br/>Format: Electronic Resources<br/>Reliable Software Technology – Ada-Europe 2005 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5101192024-06-20T14:26:56Z2024-06-20T14:26:56Zby Vardanega, Tullio. editor.<br/><a href="http://dx.doi.org/10.1007/b137344">http://dx.doi.org/10.1007/b137344</a><br/>Format: Electronic Resources<br/>Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5103402024-06-20T14:26:56Z2024-06-20T14:26:56Zby Peled, Doron A. editor.<br/><a href="http://dx.doi.org/10.1007/11562948">http://dx.doi.org/10.1007/11562948</a><br/>Format: Electronic Resources<br/>Embedded Systems Design The ARTIST Roadmap for Research and Developmentent://SD_ILS/0/SD_ILS:5103432024-06-20T14:26:56Z2024-06-20T14:26:56Zby Bouyssounouse, Bruno. author.<br/><a href="http://dx.doi.org/10.1007/b106761">http://dx.doi.org/10.1007/b106761</a><br/>Format: Electronic Resources<br/>XML for Bioinformaticsent://SD_ILS/0/SD_ILS:5046392024-06-20T14:26:56Z2024-06-20T14:26:56Zby Cerami, Ethan. author.<br/><a href="http://dx.doi.org/10.1007/0-387-27478-2">http://dx.doi.org/10.1007/0-387-27478-2</a><br/>Format: Electronic Resources<br/>Software Agent-Based Applications, Platforms and Development Kitsent://SD_ILS/0/SD_ILS:5130752024-06-20T14:26:56Z2024-06-20T14:26:56Zby Unland, Rainer. editor.<br/><a href="http://dx.doi.org/10.1007/b137512">http://dx.doi.org/10.1007/b137512</a><br/>Format: Electronic Resources<br/>