Search Results for Core. - Narrowed by: Software engineering. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dCore.$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026ps$003d300?dt=list 2026-03-17T08:33:01Z A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof ent://SD_ILS/0/SD_ILS:488919 2026-03-17T08:33:01Z 2026-03-17T08:33:01Z Author&#160;Kovalev, Mikhail. author.&#160;M&uuml;ller, Silvia M. author.&#160;Paul, Wolfgang J. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-13906-7">https://doi.org/10.1007/978-3-319-13906-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Topics in Java Core Concepts in Data Structures ent://SD_ILS/0/SD_ILS:618578 2026-03-17T08:33:01Z 2026-03-17T08:33:01Z Author&#160;Kalicharan, Noel. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4302-6620-4">https://doi.org/10.1007/978-1-4302-6620-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Physical Layer Multi-Core Prototyping A Dataflow-Based Approach for LTE eNodeB ent://SD_ILS/0/SD_ILS:330930 2026-03-17T08:33:01Z 2026-03-17T08:33:01Z Author&#160;Pelcat, Maxime. author.&#160;Aridhi, Slaheddine. author.&#160;Piat, Jonathan. author.&#160;Nezan, Jean-Fran&ccedil;ois. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(330930.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-4210-2">http://dx.doi.org/10.1007/978-1-4471-4210-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Practical Programming Model for the Multi-Core Era 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 Proceedings ent://SD_ILS/0/SD_ILS:185774 2026-03-17T08:33:01Z 2026-03-17T08:33:01Z Author&#160;Chapman, Barbara. editor.&#160;Zheng, Weiming. editor.&#160;Gao, Guang R. editor.&#160;Sato, Mitsuhisa. editor.&#160;Ayguad&eacute;, Eduard. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-69303-1">http://dx.doi.org/10.1007/978-3-540-69303-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Compiler Construction Fundamentals and Applications ent://SD_ILS/0/SD_ILS:608277 2026-03-17T08:33:01Z 2026-03-17T08:33:01Z Author&#160;M&ouml;ssenb&ouml;ck, Hanspeter. author. (orcid)0000-0001-7706-7308&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-84813-1">https://doi.org/10.1007/978-3-031-84813-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II ent://SD_ILS/0/SD_ILS:606984 2026-03-17T08:33:01Z 2026-03-17T08:33:01Z Author&#160;Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X&#160;Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340&#160;Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-82703-7">https://doi.org/10.1007/978-3-031-82703-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I ent://SD_ILS/0/SD_ILS:606998 2026-03-17T08:33:01Z 2026-03-17T08:33:01Z Author&#160;Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X&#160;Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340&#160;Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-82700-6">https://doi.org/10.1007/978-3-031-82700-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web Engineering 24th International Conference, ICWE 2024, Tampere, Finland, June 17-20, 2024, Proceedings ent://SD_ILS/0/SD_ILS:603945 2026-03-17T08:33:01Z 2026-03-17T08:33:01Z Author&#160;Stefanidis, Kostas. editor. (orcid)0000-0003-1317-8062&#160;Syst&auml;, Kari. editor.&#160;Matera, Maristella. editor. (orcid)0000-0003-0552-8624&#160;Heil, Sebastian. editor. (orcid)0000-0003-2761-9009&#160;Kondylakis, Haridimos. editor. (orcid)0000-0002-9917-4486<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-62362-2">https://doi.org/10.1007/978-3-031-62362-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel C++ Efficient and Scalable High-Performance Parallel Programming Using HPX ent://SD_ILS/0/SD_ILS:604159 2026-03-17T08:33:01Z 2026-03-17T08:33:01Z Author&#160;Diehl, Patrick. author.&#160;Brandt, Steven R. author.&#160;Kaiser, Hartmut. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-54369-2">https://doi.org/10.1007/978-3-031-54369-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Engineering of Digital Twins ent://SD_ILS/0/SD_ILS:604841 2026-03-17T08:33:01Z 2026-03-17T08:33:01Z Author&#160;Fitzgerald, John. editor. (orcid)0000-0001-7041-1807&#160;Gomes, Cl&aacute;udio. editor. (orcid)0000-0003-2692-9742&#160;Larsen, Peter Gorm. editor. (orcid)0000-0002-4589-1500&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-66719-0">https://doi.org/10.1007/978-3-031-66719-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Architectural Coordination of Enterprise Transformation ent://SD_ILS/0/SD_ILS:611660 2026-03-17T08:33:01Z 2026-03-17T08:33:01Z Author&#160;Proper, Henderik A. editor. (orcid)0000-0002-7318-2496&#160;Winter, Robert. editor. (orcid)0000-0001-9383-2276&#160;Aier, Stephan. editor.&#160;de Kinderen, Sybren. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-69584-6">https://doi.org/10.1007/978-3-319-69584-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings ent://SD_ILS/0/SD_ILS:612150 2026-03-17T08:33:01Z 2026-03-17T08:33:01Z Author&#160;Cavalheiro, Simone. editor.&#160;Fiadeiro, Jos&eacute;. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-70848-5">https://doi.org/10.1007/978-3-319-70848-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Smart Cities The Internet of Things, People and Systems ent://SD_ILS/0/SD_ILS:612502 2026-03-17T08:33:01Z 2026-03-17T08:33:01Z Author&#160;Dustdar, Schahram. author.&#160;Nasti&#263;, Stefan. author.&#160;&Scaron;&#263;eki&#263;, Ognjen. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-60030-7">https://doi.org/10.1007/978-3-319-60030-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Unraveling Software Maintenance and Evolution Thinking Outside the Box ent://SD_ILS/0/SD_ILS:613157 2026-03-17T08:33:01Z 2026-03-17T08:33:01Z Author&#160;Varga, Ervin. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-71303-8">https://doi.org/10.1007/978-3-319-71303-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mastering Software Variability with FeatureIDE ent://SD_ILS/0/SD_ILS:613525 2026-03-17T08:33:01Z 2026-03-17T08:33:01Z Author&#160;Meinicke, Jens. author.&#160;Th&uuml;m, Thomas. author.&#160;Schr&ouml;ter, Reimar. author.&#160;Benduhn, Fabian. author.&#160;Leich, Thomas. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-61443-4">https://doi.org/10.1007/978-3-319-61443-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Job Scheduling Strategies for Parallel Processing 19th and 20th International Workshops, JSSPP 2015, Hyderabad, India, May 26, 2015 and JSSPP 2016, Chicago, IL, USA, May 27, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:615938 2026-03-17T08:33:01Z 2026-03-17T08:33:01Z Author&#160;Desai, Narayan. editor.&#160;Cirne, Walfredo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-61756-5">https://doi.org/10.1007/978-3-319-61756-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Project Management for Distributed Computing Life-Cycle Methods for Developing Scalable and Reliable Tools ent://SD_ILS/0/SD_ILS:612946 2026-03-17T08:33:01Z 2026-03-17T08:33:01Z Author&#160;Mahmood, Zaigham. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-54325-3">https://doi.org/10.1007/978-3-319-54325-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Euro-Par 2016: Parallel Processing Workshops Euro-Par 2016 International Workshops, Grenoble, France, August 24-26, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:613725 2026-03-17T08:33:01Z 2026-03-17T08:33:01Z Author&#160;Desprez, Fr&eacute;d&eacute;ric. editor.&#160;Dutot, Pierre-Fran&ccedil;ois. editor.&#160;Kaklamanis, Christos. editor.&#160;Marchal, Loris. editor.&#160;Molitorisz, Korbinian. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-58943-5">https://doi.org/10.1007/978-3-319-58943-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> System Level Design from HW/SW to Memory for Embedded Systems 5th IFIP TC 10 International Embedded Systems Symposium, IESS 2015, Foz do Igua&ccedil;u, Brazil, November 3-6, 2015, Proceedings ent://SD_ILS/0/SD_ILS:618261 2026-03-17T08:33:01Z 2026-03-17T08:33:01Z Author&#160;G&ouml;tz, Marcelo. editor.&#160;Schirner, Gunar. editor.&#160;Wehrmeister, Marco Aur&eacute;lio. editor.&#160;Al Faruque, Mohammad Abdullah. editor.&#160;Rettberg, Achim. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-90023-0">https://doi.org/10.1007/978-3-319-90023-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Architecture of Computing Systems - ARCS 2017 30th International Conference, Vienna, Austria, April 3-6, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616254 2026-03-17T08:33:01Z 2026-03-17T08:33:01Z Author&#160;Knoop, Jens. editor.&#160;Karl, Wolfgang. editor.&#160;Schulz, Martin. editor.&#160;Inoue, Koji. editor.&#160;Pionteck, Thilo. editor. (orcid)0000-0001-6518-1226<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-54999-6">https://doi.org/10.1007/978-3-319-54999-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pervasive Computing Engineering Smart Systems ent://SD_ILS/0/SD_ILS:617371 2026-03-17T08:33:01Z 2026-03-17T08:33:01Z Author&#160;Silvis-Cividjian, Natalia. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-51655-4">https://doi.org/10.1007/978-3-319-51655-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Data Management on New Hardware 7th International Workshop on Accelerating Data Analysis and Data Management Systems Using Modern Processor and Storage Architectures, ADMS 2016 and 4th International Workshop on In-Memory Data Management and Analytics, IMDM 2016, New Delhi, India, September 1, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:618018 2026-03-17T08:33:01Z 2026-03-17T08:33:01Z Author&#160;Blanas, Spyros. editor.&#160;Bordawekar, Rajesh. editor.&#160;Lahiri, Tirthankar. editor.&#160;Levandoski, Justin. editor.&#160;Pavlo, Andrew. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-56111-0">https://doi.org/10.1007/978-3-319-56111-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agile Modeling with UML Code Generation, Testing, Refactoring ent://SD_ILS/0/SD_ILS:617166 2026-03-17T08:33:01Z 2026-03-17T08:33:01Z Author&#160;Rumpe, Bernhard. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-58862-9">https://doi.org/10.1007/978-3-319-58862-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Networked Systems 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:613600 2026-03-17T08:33:01Z 2026-03-17T08:33:01Z Author&#160;Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611&#160;Delporte-Gallet, Carole. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-46140-3">https://doi.org/10.1007/978-3-319-46140-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming with Python ent://SD_ILS/0/SD_ILS:612535 2026-03-17T08:33:01Z 2026-03-17T08:33:01Z Author&#160;Padmanabhan, T R. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-3277-6">https://doi.org/10.1007/978-981-10-3277-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Model-Based Engineering of Embedded Systems Extensions of the SPES 2020 Methodology ent://SD_ILS/0/SD_ILS:612633 2026-03-17T08:33:01Z 2026-03-17T08:33:01Z Author&#160;Pohl, Klaus. editor.&#160;Broy, Manfred. editor.&#160;Daembkes, Heinrich. editor.&#160;H&ouml;nninger, Harald. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-48003-9">https://doi.org/10.1007/978-3-319-48003-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SAP ABAP Hands-On Test Projects with Business Scenarios ent://SD_ILS/0/SD_ILS:618511 2026-03-17T08:33:01Z 2026-03-17T08:33:01Z Author&#160;Markandeya, Sushil. author.&#160;Roy, Kaushik. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4302-4804-0">https://doi.org/10.1007/978-1-4302-4804-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Beginning COBOL for Programmers ent://SD_ILS/0/SD_ILS:618562 2026-03-17T08:33:01Z 2026-03-17T08:33:01Z Author&#160;Coughlan, Michael. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4302-6254-1">https://doi.org/10.1007/978-1-4302-6254-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pro Spring ent://SD_ILS/0/SD_ILS:618625 2026-03-17T08:33:01Z 2026-03-17T08:33:01Z Author&#160;Ho, Clarence. author.&#160;Harrop, Rob. author.&#160;Schaefer, Chris. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4302-6152-0">https://doi.org/10.1007/978-1-4302-6152-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modern X86 Assembly Language Programming 32-bit, 64-bit, SSE, and AVX ent://SD_ILS/0/SD_ILS:618669 2026-03-17T08:33:01Z 2026-03-17T08:33:01Z Author&#160;Kusswurm, Daniel. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4842-0064-3">https://doi.org/10.1007/978-1-4842-0064-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Beginning Java 8 Fundamentals Language Syntax, Arrays, Data Types, Objects, and Regular Expressions ent://SD_ILS/0/SD_ILS:618678 2026-03-17T08:33:01Z 2026-03-17T08:33:01Z Author&#160;Sharan, Kishori. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4302-6653-2">https://doi.org/10.1007/978-1-4302-6653-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> jQuery 2 Recipes A Problem-Solution Approach ent://SD_ILS/0/SD_ILS:618688 2026-03-17T08:33:01Z 2026-03-17T08:33:01Z Author&#160;Pande, Arun. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4302-6434-7">https://doi.org/10.1007/978-1-4302-6434-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>