Search Results for standard. - Narrowed by: Computer science.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dstandard.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026ic$003dtrue$0026ps$003d300?2026-05-14T12:28:14ZAlgebraic Aspects of the Advanced Encryption Standardent://SD_ILS/0/SD_ILS:1661792026-05-14T12:28:14Z2026-05-14T12:28:14ZAuthor Cid, Carlos. author. Murphy, Sean. author. Robshaw, Matthew. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-36842-9">http://dx.doi.org/10.1007/978-0-387-36842-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Brute Force Cracking the Data Encryption Standardent://SD_ILS/0/SD_ILS:1519562026-05-14T12:28:14Z2026-05-14T12:28:14ZAuthor Curtin, Matt. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138699">http://dx.doi.org/10.1007/b138699</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Restarting Automata The Standard Type of Restarting Automaton and Its Variantsent://SD_ILS/0/SD_ILS:6057922026-05-14T12:28:14Z2026-05-14T12:28:14ZAuthor Otto, Friedrich. author. (orcid)0009-0002-9760-5462 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-70094-1">https://doi.org/10.1007/978-3-031-70094-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Ada 2012 Rationale The Language, The Standard Librariesent://SD_ILS/0/SD_ILS:3351952026-05-14T12:28:14Z2026-05-14T12:28:14ZAuthor Barnes, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335195.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45210-9">http://dx.doi.org/10.1007/978-3-642-45210-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E)ent://SD_ILS/0/SD_ILS:3352162026-05-14T12:28:14Z2026-05-14T12:28:14ZAuthor Taft, S. Tucker. editor. Duff, Robert A. editor. Brukardt, Randall L. editor. Ploedereder, Erhard. editor. Leroy, Pascal. editor.<br/>Preferred Shelf Number ONLINE(335216.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45419-6">http://dx.doi.org/10.1007/978-3-642-45419-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Masterkurs Client/Server-Programmierung mit Java Anwendungen entwickeln mit Standard-Technologien: JDBC, UDP, TCP, HTTP, XML-RPC, RMI, JMS und JAX-WSent://SD_ILS/0/SD_ILS:1998312026-05-14T12:28:14Z2026-05-14T12:28:14ZAuthor Abts, Dietmar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-9724-4">http://dx.doi.org/10.1007/978-3-8348-9724-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>C++ mit Microsoft Visual C++ 2008 Einführung in Standard-C++, C++/CLI und die objektorientierte Windows .NET-Programmierungent://SD_ILS/0/SD_ILS:1856102026-05-14T12:28:14Z2026-05-14T12:28:14ZAuthor Kaiser, Richard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68844-0">http://dx.doi.org/10.1007/978-3-540-68844-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>C++ mit dem Borland C++Builder 2007 Einführung in den C++-Standard und die objektorientierte Windows-Programmierungent://SD_ILS/0/SD_ILS:1858842026-05-14T12:28:14Z2026-05-14T12:28:14ZAuthor Kaiser, Richard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69773-2">http://dx.doi.org/10.1007/978-3-540-69773-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Ada 2005 Rationale The Language, The Standard Librariesent://SD_ILS/0/SD_ILS:1884932026-05-14T12:28:14Z2026-05-14T12:28:14ZAuthor Barnes, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79701-2">http://dx.doi.org/10.1007/978-3-540-79701-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>ITIL kompakt und verständlich Effizientes IT Service Management — Den Standard für IT-Prozesse kennenlernen, verstehen und erfolgreich in der Praxis umsetzenent://SD_ILS/0/SD_ILS:1996082026-05-14T12:28:14Z2026-05-14T12:28:14ZAuthor Olbrich, Alfred. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-9492-2">http://dx.doi.org/10.1007/978-3-8348-9492-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Ada 2005 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/1995 (E) with Technical Corrigendum 1 and Amendment 1ent://SD_ILS/0/SD_ILS:1857902026-05-14T12:28:14Z2026-05-14T12:28:14ZAuthor Taft, S. Tucker. author. Duff, Robert A. author. Brukardt, Randall L. author. Ploedereder, Erhard. author. Leroy, Pascal. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69336-9">http://dx.doi.org/10.1007/978-3-540-69336-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>COBIT kompakt und verständlich Der Standard zur IT Governance — So gewinnen Sie Kontrolle über Ihre IT — So steuern Sie Ihre IT und erreichen Ihr Zieleent://SD_ILS/0/SD_ILS:1991972026-05-14T12:28:14Z2026-05-14T12:28:14ZAuthor Goltsche, Wolfgang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-9015-3">http://dx.doi.org/10.1007/978-3-8348-9015-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>ITIL kompakt und verständlich Effizientes IT Service Management — Den Standard für IT-Prozesse kennenlernen, verstehen und erfolgreich in der Praxis umsetzenent://SD_ILS/0/SD_ILS:1993282026-05-14T12:28:14Z2026-05-14T12:28:14ZAuthor Olbrich, Alfred. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-9185-3">http://dx.doi.org/10.1007/978-3-8348-9185-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advanced Encryption Standard – AES 4th International Conference, AES 2004, Bonn, Germany, May 10-12, 2004, Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:1829262026-05-14T12:28:14Z2026-05-14T12:28:14ZAuthor Dobbertin, Hans. editor. Rijmen, Vincent. editor. Sowa, Aleksandra. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137765">http://dx.doi.org/10.1007/b137765</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Operational Semantics for Timed Systems A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systemsent://SD_ILS/0/SD_ILS:1830762026-05-14T12:28:14Z2026-05-14T12:28:14ZAuthor Rust, Heinrich. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b135629">http://dx.doi.org/10.1007/b135629</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Concise Introduction to Software Engineering With Open Source and GenAIent://SD_ILS/0/SD_ILS:6071112026-05-14T12:28:14Z2026-05-14T12:28:14ZAuthor Jalote, Pankaj. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-74318-4">https://doi.org/10.1007/978-3-031-74318-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Restarting Automata Extensions and Generalizationsent://SD_ILS/0/SD_ILS:6076602026-05-14T12:28:14Z2026-05-14T12:28:14ZAuthor Otto, Friedrich. author. (orcid)0009-0002-9760-5462 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-78701-0">https://doi.org/10.1007/978-3-031-78701-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideasent://SD_ILS/0/SD_ILS:6081682026-05-14T12:28:14Z2026-05-14T12:28:14ZAuthor Farmer, William M. author. (orcid)0009-0009-5524-9085 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-85352-4">https://doi.org/10.1007/978-3-031-85352-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Construct, Merge, Solve & Adapt A Hybrid Metaheuristic for Combinatorial Optimizationent://SD_ILS/0/SD_ILS:6039762026-05-14T12:28:14Z2026-05-14T12:28:14ZAuthor Blum, Christian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-60103-3">https://doi.org/10.1007/978-3-031-60103-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computability and Complexity Foundations and Tools for Pursuing Scientific Applicationsent://SD_ILS/0/SD_ILS:6035042026-05-14T12:28:14Z2026-05-14T12:28:14ZAuthor Downey, Rod. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-53744-8">https://doi.org/10.1007/978-3-031-53744-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Informatics and machine learning : from Martingales to metaheuristicsent://SD_ILS/0/SD_ILS:5970872026-05-14T12:28:14Z2026-05-14T12:28:14ZAuthor Winters-Hilt, Stephen, author.<br/>Preferred Shelf Number Q325.5 .W558 2022<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119716730">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119716730</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Enterprise Architecture at Work Modelling, Communication and Analysisent://SD_ILS/0/SD_ILS:6146292026-05-14T12:28:14Z2026-05-14T12:28:14ZAuthor Lankhorst, Marc. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-53933-0">https://doi.org/10.1007/978-3-662-53933-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6122922026-05-14T12:28:14Z2026-05-14T12:28:14ZAuthor Yang, Hongseok. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-54434-1">https://doi.org/10.1007/978-3-662-54434-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Behavioural Models From Modelling Finite Automata to Analysing Business Processesent://SD_ILS/0/SD_ILS:6145792026-05-14T12:28:14Z2026-05-14T12:28:14ZAuthor Kunze, Matthias. author. Weske, Mathias. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44960-9">https://doi.org/10.1007/978-3-319-44960-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Rule Technologies. Research, Tools, and Applications 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedingsent://SD_ILS/0/SD_ILS:6135892026-05-14T12:28:14Z2026-05-14T12:28:14ZAuthor Alferes, Jose Julio. editor. Bertossi, Leopoldo. editor. Governatori, Guido. editor. Fodor, Paul. editor. Roman, Dumitru. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-42019-6">https://doi.org/10.1007/978-3-319-42019-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applicationsent://SD_ILS/0/SD_ILS:6175032026-05-14T12:28:14Z2026-05-14T12:28:14ZAuthor O'Regan, Gerard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44561-8">https://doi.org/10.1007/978-3-319-44561-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Decision Procedures An Algorithmic Point of Viewent://SD_ILS/0/SD_ILS:6151752026-05-14T12:28:14Z2026-05-14T12:28:14ZAuthor Kroening, Daniel. author. Strichman, Ofer. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-50497-0">https://doi.org/10.1007/978-3-662-50497-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>