Arama Sonuçları standard. - Daraltılmış: Computer science.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dstandard.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026ps$003d300?2026-05-15T00:40:34ZAlgebraic Aspects of the Advanced Encryption Standardent://SD_ILS/0/SD_ILS:1661792026-05-15T00:40:34Z2026-05-15T00:40:34ZYazar Cid, Carlos. author. Murphy, Sean. author. Robshaw, Matthew. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Brute Force Cracking the Data Encryption Standardent://SD_ILS/0/SD_ILS:1519562026-05-15T00:40:34Z2026-05-15T00:40:34ZYazar Curtin, Matt. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b138699">http://dx.doi.org/10.1007/b138699</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Restarting Automata The Standard Type of Restarting Automaton and Its Variantsent://SD_ILS/0/SD_ILS:6057922026-05-15T00:40:34Z2026-05-15T00:40:34ZYazar Otto, Friedrich. author. (orcid)0009-0002-9760-5462 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Ada 2012 Rationale The Language, The Standard Librariesent://SD_ILS/0/SD_ILS:3351952026-05-15T00:40:34Z2026-05-15T00:40:34ZYazar Barnes, John. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335195.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-15T00:40:34Z2026-05-15T00:40:34ZYazar Taft, S. Tucker. editor. Duff, Robert A. editor. Brukardt, Randall L. editor. Ploedereder, Erhard. editor. Leroy, Pascal. editor.<br/>Yer Numarası ONLINE(335216.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-15T00:40:34Z2026-05-15T00:40:34ZYazar Abts, Dietmar. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-15T00:40:34Z2026-05-15T00:40:34ZYazar Kaiser, Richard. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Ada 2005 Rationale The Language, The Standard Librariesent://SD_ILS/0/SD_ILS:1884932026-05-15T00:40:34Z2026-05-15T00:40:34ZYazar Barnes, John. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-15T00:40:34Z2026-05-15T00:40:34ZYazar Olbrich, Alfred. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-15T00:40:34Z2026-05-15T00:40:34ZYazar Kaiser, Richard. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-15T00:40:34Z2026-05-15T00:40:34ZYazar Goltsche, Wolfgang. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-15T00:40:34Z2026-05-15T00:40:34ZYazar Olbrich, Alfred. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-15T00:40:34Z2026-05-15T00:40:34ZYazar Taft, S. Tucker. author. Duff, Robert A. author. Brukardt, Randall L. author. Ploedereder, Erhard. author. Leroy, Pascal. author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-15T00:40:34Z2026-05-15T00:40:34ZYazar Rust, Heinrich. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b135629">http://dx.doi.org/10.1007/b135629</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-15T00:40:34Z2026-05-15T00:40:34ZYazar Dobbertin, Hans. editor. Rijmen, Vincent. editor. Sowa, Aleksandra. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b137765">http://dx.doi.org/10.1007/b137765</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Restarting Automata Extensions and Generalizationsent://SD_ILS/0/SD_ILS:6076602026-05-15T00:40:34Z2026-05-15T00:40:34ZYazar Otto, Friedrich. author. (orcid)0009-0002-9760-5462 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A Concise Introduction to Software Engineering With Open Source and GenAIent://SD_ILS/0/SD_ILS:6071112026-05-15T00:40:34Z2026-05-15T00:40:34ZYazar Jalote, Pankaj. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideasent://SD_ILS/0/SD_ILS:6081682026-05-15T00:40:34Z2026-05-15T00:40:34ZYazar Farmer, William M. author. (orcid)0009-0009-5524-9085 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computability and Complexity Foundations and Tools for Pursuing Scientific Applicationsent://SD_ILS/0/SD_ILS:6035042026-05-15T00:40:34Z2026-05-15T00:40:34ZYazar Downey, Rod. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Construct, Merge, Solve & Adapt A Hybrid Metaheuristic for Combinatorial Optimizationent://SD_ILS/0/SD_ILS:6039762026-05-15T00:40:34Z2026-05-15T00:40:34ZYazar Blum, Christian. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Informatics and machine learning : from Martingales to metaheuristicsent://SD_ILS/0/SD_ILS:5970872026-05-15T00:40:34Z2026-05-15T00:40:34ZYazar Winters-Hilt, Stephen, author.<br/>Yer Numarası Q325.5 .W558 2022<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119716730">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119716730</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-15T00:40:34Z2026-05-15T00:40:34ZYazar Yang, Hongseok. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Enterprise Architecture at Work Modelling, Communication and Analysisent://SD_ILS/0/SD_ILS:6146292026-05-15T00:40:34Z2026-05-15T00:40:34ZYazar Lankhorst, Marc. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-15T00:40:34Z2026-05-15T00:40:34ZYazar Alferes, Jose Julio. editor. Bertossi, Leopoldo. editor. Governatori, Guido. editor. Fodor, Paul. editor. Roman, Dumitru. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Behavioural Models From Modelling Finite Automata to Analysing Business Processesent://SD_ILS/0/SD_ILS:6145792026-05-15T00:40:34Z2026-05-15T00:40:34ZYazar Kunze, Matthias. author. Weske, Mathias. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Decision Procedures An Algorithmic Point of Viewent://SD_ILS/0/SD_ILS:6151752026-05-15T00:40:34Z2026-05-15T00:40:34ZYazar Kroening, Daniel. author. Strichman, Ofer. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applicationsent://SD_ILS/0/SD_ILS:6175032026-05-15T00:40:34Z2026-05-15T00:40:34ZYazar O'Regan, Gerard. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>