Arama Sonuçları Invariants. - Daraltılmış: SpringerLink (Online service)SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dInvariants.$0026qf$003dAUTHOR$002509Yazar$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026te$003dILS$0026ps$003d300?dt=list2024-12-25T04:37:37ZSymmetry, Representations, and Invariantsent://SD_ILS/0/SD_ILS:1676952024-12-25T04:37:37Z2024-12-25T04:37:37ZYazar Goodman, Roe. author. Wallach, Nolan R. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-79852-3">http://dx.doi.org/10.1007/978-0-387-79852-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Elliptic Curves and Arithmetic Invariantsent://SD_ILS/0/SD_ILS:3320822024-12-25T04:37:37Z2024-12-25T04:37:37ZYazar Hida, Haruzo. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332082.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-6657-4">http://dx.doi.org/10.1007/978-1-4614-6657-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Symplectic Invariants and Hamiltonian Dynamicsent://SD_ILS/0/SD_ILS:1767282024-12-25T04:37:37Z2024-12-25T04:37:37ZYazar Hofer, Helmut. author. Zehnder, Eduard. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-0348-0104-1">http://dx.doi.org/10.1007/978-3-0348-0104-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Cardinal Invariants on Boolean Algebrasent://SD_ILS/0/SD_ILS:1766702024-12-25T04:37:37Z2024-12-25T04:37:37ZYazar Monk, J. Donald. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-0346-0334-8">http://dx.doi.org/10.1007/978-3-0346-0334-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Topological Invariants of Stratified Spacesent://SD_ILS/0/SD_ILS:1846892024-12-25T04:37:37Z2024-12-25T04:37:37ZYazar Banagl, M. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/3-540-38587-8">http://dx.doi.org/10.1007/3-540-38587-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Symmetries and Semi-invariants in the Analysis of Nonlinear Systemsent://SD_ILS/0/SD_ILS:1685462024-12-25T04:37:37Z2024-12-25T04:37:37ZYazar Menini, Laura. author. Tornambè, Antonio. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-85729-612-2">http://dx.doi.org/10.1007/978-0-85729-612-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Invariants of Behavior Constancy and Variability in Neural Systemsent://SD_ILS/0/SD_ILS:1731572024-12-25T04:37:37Z2024-12-25T04:37:37ZYazar Negrello, Mario. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4419-8804-1">http://dx.doi.org/10.1007/978-1-4419-8804-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Donaldson Type Invariants for Algebraic Surfaces Transition of Moduli Stacksent://SD_ILS/0/SD_ILS:1895322024-12-25T04:37:37Z2024-12-25T04:37:37ZYazar Mochizuki, Takuro. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-93913-9">http://dx.doi.org/10.1007/978-3-540-93913-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Basic Bundle Theory and K-Cohomology Invariants With contributions by Siegfried Echterhoff, Stefan Fredenhagen and Bernhard Krötzent://SD_ILS/0/SD_ILS:1873182024-12-25T04:37:37Z2024-12-25T04:37:37ZYazar Husemöller, D. author. Joachim, M. author. Jurčo, B. author. Schottenloher, M. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-74956-1">http://dx.doi.org/10.1007/978-3-540-74956-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Enumerative Invariants in Algebraic Geometry and String Theory Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy June 6–11, 2005ent://SD_ILS/0/SD_ILS:1885132024-12-25T04:37:37Z2024-12-25T04:37:37ZYazar Abramovich, Dan. author. Mariño, Marcos. author. Thaddeus, Michael. author. Vakil, Ravi. author. Behrend, Kai. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-79814-9">http://dx.doi.org/10.1007/978-3-540-79814-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Lie Groups An Approach through Invariants and Representationsent://SD_ILS/0/SD_ILS:1655832024-12-25T04:37:37Z2024-12-25T04:37:37ZYazar Procesi, Claudio. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-28929-8">http://dx.doi.org/10.1007/978-0-387-28929-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papersent://SD_ILS/0/SD_ILS:5208022024-12-25T04:37:37Z2024-12-25T04:37:37ZYazar Lal, Akash. editor. Tonetta, Stefano. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520802.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-25803-9">https://doi.org/10.1007/978-3-031-25803-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Scale Space and Variational Methods in Computer Vision 9th International Conference, SSVM 2023, Santa Margherita di Pula, Italy, May 21-25, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5213912024-12-25T04:37:37Z2024-12-25T04:37:37ZYazar Calatroni, Luca. editor. Donatelli, Marco. editor. Morigi, Serena. editor. Prato, Marco. editor. Santacesaria, Matteo. editor.<br/>Yer Numarası XX(521391.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-31975-4">https://doi.org/10.1007/978-3-031-31975-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part IIent://SD_ILS/0/SD_ILS:5208402024-12-25T04:37:37Z2024-12-25T04:37:37ZYazar Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520840.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-30820-8">https://doi.org/10.1007/978-3-031-30820-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Static Analysis 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5212582024-12-25T04:37:37Z2024-12-25T04:37:37ZYazar Hermenegildo, Manuel V. editor. Morales, José F. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521258.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-44245-2">https://doi.org/10.1007/978-3-031-44245-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5213242024-12-25T04:37:37Z2024-12-25T04:37:37ZYazar Li, Yi. editor. Tahar, Sofiène. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521324.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-7584-6">https://doi.org/10.1007/978-981-99-7584-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer Analysis of Images and Patterns 16th International Conference, CAIP 2015, Valletta, Malta, September 2-4, 2015, Proceedings, Part IIent://SD_ILS/0/SD_ILS:5192442024-12-25T04:37:37Z2024-12-25T04:37:37ZYazar Azzopardi, George. editor. Petkov, Nicolai. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519244.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-23117-4">https://doi.org/10.1007/978-3-319-23117-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Graph Transformation 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedingsent://SD_ILS/0/SD_ILS:5192592024-12-25T04:37:37Z2024-12-25T04:37:37ZYazar Parisi-Presicce, Francesco. editor. Westfechtel, Bernhard. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519259.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-21145-9">https://doi.org/10.1007/978-3-319-21145-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Shape Reconstruction from Apparent Contours Theory and Algorithmsent://SD_ILS/0/SD_ILS:5184342024-12-25T04:37:37Z2024-12-25T04:37:37ZYazar Bellettini, Giovanni. author. Beorchia, Valentina. author. Paolini, Maurizio. author. Pasquarelli, Franco. author. SpringerLink (Online service)<br/>Yer Numarası XX(518434.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-45191-5">https://doi.org/10.1007/978-3-662-45191-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part Ient://SD_ILS/0/SD_ILS:5190072024-12-25T04:37:37Z2024-12-25T04:37:37ZYazar Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519007.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-21690-4">https://doi.org/10.1007/978-3-319-21690-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer Vision -- ACCV 2014 12th Asian Conference on Computer Vision, Singapore, Singapore, November 1-5, 2014, Revised Selected Papers, Part IVent://SD_ILS/0/SD_ILS:5190132024-12-25T04:37:37Z2024-12-25T04:37:37ZYazar Cremers, Daniel. editor. Reid, Ian. editor. Saito, Hideo. editor. Yang, Ming-Hsuan. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519013.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-16817-3">https://doi.org/10.1007/978-3-319-16817-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedingsent://SD_ILS/0/SD_ILS:5191042024-12-25T04:37:37Z2024-12-25T04:37:37ZYazar Blanchette, Jasmin Christian. editor. Kosmatov, Nikolai. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519104.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-21215-9">https://doi.org/10.1007/978-3-319-21215-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part Ient://SD_ILS/0/SD_ILS:5192222024-12-25T04:37:37Z2024-12-25T04:37:37ZYazar Halldórsson, Magnús M. editor. Iwama, Kazuo. editor. Kobayashi, Naoki. editor. Speckmann, Bettina. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519222.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-47672-7">https://doi.org/10.1007/978-3-662-47672-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>