Search Results for Systems engineering. - Narrowed by: SpringerLink (Online service) - E-Book - Electronic Library - 2006 - Computer science.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSystems$002bengineering.$0026qf$003dAUTHOR$002509Author$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026qf$003dITYPE$002509Material$002bType$0025091$00253AE-KITAP$002509E-Book$0026qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253AELEKKUTUPH$002509Electronic$002bLibrary$0026qf$003dPUBDATE$002509Publication$002bDate$0025092006$0025092006$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?2024-08-26T20:44:47ZSoftware Engineering 2 Specification of Systems and Languagesent://SD_ILS/0/SD_ILS:1836562024-08-26T20:44:47Z2024-08-26T20:44:47ZAuthor Bjørner, Dines. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-33193-3">http://dx.doi.org/10.1007/978-3-540-33193-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Self-Organising Systems Third International Workshop, ESOA 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected Papersent://SD_ILS/0/SD_ILS:1837112024-08-26T20:44:47Z2024-08-26T20:44:47ZAuthor Brueckner, Sven A. editor. Marzo Serugendo, Giovanna. editor. Hales, David. editor. Zambonelli, Franco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11734697">http://dx.doi.org/10.1007/11734697</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Knowledge-Based Intelligent Information and Engineering Systems 10th International Conference, KES 2006, Bournemouth, UK, October 9-11, 2006. Proceedings, Part Ient://SD_ILS/0/SD_ILS:1849652024-08-26T20:44:47Z2024-08-26T20:44:47ZAuthor Gabrys, Bogdan. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11892960">http://dx.doi.org/10.1007/11892960</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Knowledge-Based Intelligent Information and Engineering Systems 10th International Conference, KES 2006, Bournemouth, UK, October 9-11, 2006. Proceedings, Part IIent://SD_ILS/0/SD_ILS:1849662024-08-26T20:44:47Z2024-08-26T20:44:47ZAuthor Gabrys, Bogdan. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11893004">http://dx.doi.org/10.1007/11893004</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Knowledge-Based Intelligent Information and Engineering Systems 10th International Conference, KES 2006, Bournemouth, UK, October 9-11, 2006. Proceedings, Part IIIent://SD_ILS/0/SD_ILS:1849672024-08-26T20:44:47Z2024-08-26T20:44:47ZAuthor Gabrys, Bogdan. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11893011">http://dx.doi.org/10.1007/11893011</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Applied Artificial Intelligence 19th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2006, Annecy, France, June 27-30, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1842552024-08-26T20:44:47Z2024-08-26T20:44:47ZAuthor Ali, Moonis. editor. Dapoigny, Richard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11779568">http://dx.doi.org/10.1007/11779568</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model Driven Engineering Languages and Systems 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1848632024-08-26T20:44:47Z2024-08-26T20:44:47ZAuthor Nierstrasz, Oscar. editor. Whittle, Jon. editor. Harel, David. editor. Reggio, Gianna. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11880240">http://dx.doi.org/10.1007/11880240</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Web Information Systems – WISE 2006 7th International Conference on Web Information Systems Engineering, Wuhan, China, October 23-26, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1850512024-08-26T20:44:47Z2024-08-26T20:44:47ZAuthor Aberer, Karl. editor. Peng, Zhiyong. editor. Rundensteiner, Elke A. editor. Zhang, Yanchun. editor. Li, Xuhui. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11912873">http://dx.doi.org/10.1007/11912873</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering Techniques Applied to Agricultural Systems An Object-Oriented and UML Approachent://SD_ILS/0/SD_ILS:1654822024-08-26T20:44:47Z2024-08-26T20:44:47ZAuthor Papajorgji, Petraq J. author. Pardalos, Panos M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-28171-1">http://dx.doi.org/10.1007/0-387-28171-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering for Multi-Agent Systems IV Research Issues and Practical Applicationsent://SD_ILS/0/SD_ILS:1837772024-08-26T20:44:47Z2024-08-26T20:44:47ZAuthor Garcia, Alessandro. editor. Choren, Ricardo. editor. Lucena, Carlos. editor. Giorgini, Paolo. editor. Holvoet, Tom. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11738817">http://dx.doi.org/10.1007/11738817</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advanced Information Systems Engineering 18th International Conference, CAiSE 2006, Luxembourg, Luxembourg, June 5-9, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1841342024-08-26T20:44:47Z2024-08-26T20:44:47ZAuthor Dubois, Eric. editor. Pohl, Klaus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11767138">http://dx.doi.org/10.1007/11767138</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Agent Technology from a Formal Perspectiveent://SD_ILS/0/SD_ILS:1753552024-08-26T20:44:47Z2024-08-26T20:44:47ZAuthor Rouff, Christopher A. editor. Hinchey, Michael. editor. Rash, James. editor. Truszkowski, Walter. editor. Gordon-Spears, Diana. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-84628-271-3">http://dx.doi.org/10.1007/1-84628-271-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>VLSI-SOC: From Systems to Chips IFIP TC 10/ WG 10.5 Twelfth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC 2003), December 1–3, 2003, Darmstadt, Germanyent://SD_ILS/0/SD_ILS:1659342024-08-26T20:44:47Z2024-08-26T20:44:47ZAuthor Glesner, Manfred. editor. Reis, Ricardo. editor. Indrusiak, Leandro. editor. Mooney, Vincent. editor. Eveking, Hans. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-33403-3">http://dx.doi.org/10.1007/0-387-33403-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Practical Introduction to PSLent://SD_ILS/0/SD_ILS:1661382024-08-26T20:44:47Z2024-08-26T20:44:47ZAuthor Eisner, Cindy. author. Fisman, Dana. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-36123-9">http://dx.doi.org/10.1007/978-0-387-36123-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Hardware Verification with C++ A Practitioner’s Handbookent://SD_ILS/0/SD_ILS:1661412024-08-26T20:44:47Z2024-08-26T20:44:47ZAuthor Mintz, Mike. author. Ekendahl, Robert. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-36254-0">http://dx.doi.org/10.1007/978-0-387-36254-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>AmIware Hardware Technology Drivers of Ambient Intelligenceent://SD_ILS/0/SD_ILS:1691092024-08-26T20:44:47Z2024-08-26T20:44:47ZAuthor Mukherjee, Satyen. editor. Aarts, Ronald M. editor. Roovers, Raf. editor. Widdershoven, Frans. editor. Ouwerkerk, Martin. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-4198-5">http://dx.doi.org/10.1007/1-4020-4198-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Roadmap for Formal Property Verificationent://SD_ILS/0/SD_ILS:1692712024-08-26T20:44:47Z2024-08-26T20:44:47ZAuthor DasGupta, Pallab. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-4758-9">http://dx.doi.org/10.1007/978-1-4020-4758-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fast, Efficient and Predictable Memory Accesses Optimization Algorithms for Memory Architecture Aware Compilationent://SD_ILS/0/SD_ILS:1692872024-08-26T20:44:47Z2024-08-26T20:44:47ZAuthor Wehmeyer, Lars. author. Marwedel, Peter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-4822-X">http://dx.doi.org/10.1007/1-4020-4822-X</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Platform Based Design at the Electronic System Level Industry Perspectives and Experiencesent://SD_ILS/0/SD_ILS:1693852024-08-26T20:44:47Z2024-08-26T20:44:47ZAuthor Burton, Mark. author. Morawiec, Adam. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-5138-7">http://dx.doi.org/10.1007/1-4020-5138-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 16th International Workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1847182024-08-26T20:44:47Z2024-08-26T20:44:47ZAuthor Vounckx, Johan. editor. Azemard, Nadine. editor. Maurine, Philippe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11847083">http://dx.doi.org/10.1007/11847083</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>FPGA Implementations of Neural Networksent://SD_ILS/0/SD_ILS:1655222024-08-26T20:44:47Z2024-08-26T20:44:47ZAuthor Omondi, Amos R. editor. Rajapakse, Jagath C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-28487-7">http://dx.doi.org/10.1007/0-387-28487-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computation Engineering Applied Automata Theory and Logicent://SD_ILS/0/SD_ILS:1658582024-08-26T20:44:47Z2024-08-26T20:44:47ZAuthor Gopalakrishnan, Ganesh. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-32520-4">http://dx.doi.org/10.1007/0-387-32520-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Linear Systemsent://SD_ILS/0/SD_ILS:1681292024-08-26T20:44:47Z2024-08-26T20:44:47ZAuthor Antsaklis, Panos J. author. Michel, Anthony N. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-8176-4435-0">http://dx.doi.org/10.1007/0-8176-4435-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Embedded System Designent://SD_ILS/0/SD_ILS:1656942024-08-26T20:44:47Z2024-08-26T20:44:47ZAuthor Marwedel, Peter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-30087-2">http://dx.doi.org/10.1007/0-387-30087-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>