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.$0026ps$003d300?2026-05-14T20:31:33ZAlgebraic Aspects of the Advanced Encryption Standardent://SD_ILS/0/SD_ILS:1661792026-05-14T20:31:33Z2026-05-14T20:31:33ZAuthor 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-14T20:31:33Z2026-05-14T20:31:33ZAuthor 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-14T20:31:33Z2026-05-14T20:31:33ZAuthor 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-14T20:31:33Z2026-05-14T20:31:33ZAuthor 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-14T20:31:33Z2026-05-14T20:31:33ZAuthor 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-14T20:31:33Z2026-05-14T20:31:33ZAuthor 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-14T20:31:33Z2026-05-14T20:31:33ZAuthor 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/>Ada 2005 Rationale The Language, The Standard Librariesent://SD_ILS/0/SD_ILS:1884932026-05-14T20:31:33Z2026-05-14T20:31:33ZAuthor 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-14T20:31:33Z2026-05-14T20:31:33ZAuthor 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/>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-14T20:31:33Z2026-05-14T20:31:33ZAuthor 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/>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-14T20:31:33Z2026-05-14T20:31:33ZAuthor 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-14T20:31:33Z2026-05-14T20:31:33ZAuthor 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/>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-14T20:31:33Z2026-05-14T20:31:33ZAuthor 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/>Operational Semantics for Timed Systems A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systemsent://SD_ILS/0/SD_ILS:1830762026-05-14T20:31:33Z2026-05-14T20:31:33ZAuthor 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/>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-14T20:31:33Z2026-05-14T20:31:33ZAuthor 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/>Restarting Automata Extensions and Generalizationsent://SD_ILS/0/SD_ILS:6076602026-05-14T20:31:33Z2026-05-14T20:31:33ZAuthor 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/>A Concise Introduction to Software Engineering With Open Source and GenAIent://SD_ILS/0/SD_ILS:6071112026-05-14T20:31:33Z2026-05-14T20:31:33ZAuthor 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/>Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideasent://SD_ILS/0/SD_ILS:6081682026-05-14T20:31:33Z2026-05-14T20:31:33ZAuthor 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/>Computability and Complexity Foundations and Tools for Pursuing Scientific Applicationsent://SD_ILS/0/SD_ILS:6035042026-05-14T20:31:33Z2026-05-14T20:31:33ZAuthor 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/>Construct, Merge, Solve & Adapt A Hybrid Metaheuristic for Combinatorial Optimizationent://SD_ILS/0/SD_ILS:6039762026-05-14T20:31:33Z2026-05-14T20:31:33ZAuthor 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/>Informatics and machine learning : from Martingales to metaheuristicsent://SD_ILS/0/SD_ILS:5970872026-05-14T20:31:33Z2026-05-14T20:31:33ZAuthor 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/>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-14T20:31:33Z2026-05-14T20:31:33ZAuthor 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/>Enterprise Architecture at Work Modelling, Communication and Analysisent://SD_ILS/0/SD_ILS:6146292026-05-14T20:31:33Z2026-05-14T20:31:33ZAuthor 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/>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-14T20:31:33Z2026-05-14T20:31:33ZAuthor 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/>Behavioural Models From Modelling Finite Automata to Analysing Business Processesent://SD_ILS/0/SD_ILS:6145792026-05-14T20:31:33Z2026-05-14T20:31:33ZAuthor 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/>Decision Procedures An Algorithmic Point of Viewent://SD_ILS/0/SD_ILS:6151752026-05-14T20:31:33Z2026-05-14T20:31:33ZAuthor 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/>Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applicationsent://SD_ILS/0/SD_ILS:6175032026-05-14T20:31:33Z2026-05-14T20:31:33ZAuthor 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/>