Search Results for Arithmetic. - Narrowed by: SpringerLink (Online service)
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dArithmetic.$0026qf$003dAUTHOR$002509Author$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026ps$003d300?
2025-03-02T00:46:18Z
Arithmetic Tales
ent://SD_ILS/0/SD_ILS:173537
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Bordellès, Olivier. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4096-2">http://dx.doi.org/10.1007/978-1-4471-4096-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Field Arithmetic
ent://SD_ILS/0/SD_ILS:187826
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Fried, Michael D. author. Jarden, Moshe. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77270-5">http://dx.doi.org/10.1007/978-3-540-77270-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Field Arithmetic
ent://SD_ILS/0/SD_ILS:181100
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Fried, Michael D. author. Jarden, Moshe. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138352">http://dx.doi.org/10.1007/b138352</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Quantization and Arithmetic
ent://SD_ILS/0/SD_ILS:198153
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Unterberger, André. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-7643-8791-4">http://dx.doi.org/10.1007/978-3-7643-8791-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Arithmetic of Quadratic Forms
ent://SD_ILS/0/SD_ILS:172334
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Shimura, Goro. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-1732-4">http://dx.doi.org/10.1007/978-1-4419-1732-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Elliptic Curves and Arithmetic Invariants
ent://SD_ILS/0/SD_ILS:332082
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Hida, Haruzo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332082.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Birational Geometry, Rational Curves, and Arithmetic
ent://SD_ILS/0/SD_ILS:332043
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Bogomolov, Fedor. editor. Hassett, Brendan. editor. Tschinkel, Yuri. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332043.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-6482-2">http://dx.doi.org/10.1007/978-1-4614-6482-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Arithmetic and Geometry Around Galois Theory
ent://SD_ILS/0/SD_ILS:332618
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Dèbes, Pierre. editor. Emsalem, Michel. editor. Romagny, Matthieu. editor. Uludağ, A. Muhammed. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332618.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-0348-0487-5">http://dx.doi.org/10.1007/978-3-0348-0487-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Arithmetic Algorithms and Hardware Implementations
ent://SD_ILS/0/SD_ILS:193853
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Vlăduţiu, Mircea. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-18315-7">http://dx.doi.org/10.1007/978-3-642-18315-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Arithmetic and Geometry Around Quantization
ent://SD_ILS/0/SD_ILS:168299
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Ceyhan, Özgür. editor. Manin, Yu. I. editor. Marcolli, Matilde. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-8176-4831-2">http://dx.doi.org/10.1007/978-0-8176-4831-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Handbook of Floating-Point Arithmetic
ent://SD_ILS/0/SD_ILS:168263
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Muller, Jean-Michel. author. Brisebarre, Nicolas. author. de Dinechin, Florent. author. Jeannerod, Claude-Pierre. author. Lefèvre, Vincent. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-8176-4705-6">http://dx.doi.org/10.1007/978-0-8176-4705-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Arithmetic of Elliptic Curves
ent://SD_ILS/0/SD_ILS:164665
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Silverman, Joseph H. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-09494-6">http://dx.doi.org/10.1007/978-0-387-09494-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Quantitative Arithmetic of Projective Varieties
ent://SD_ILS/0/SD_ILS:176631
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Browning, Timothy D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-0346-0129-0">http://dx.doi.org/10.1007/978-3-0346-0129-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Arithmetic of Dynamical Systems
ent://SD_ILS/0/SD_ILS:166743
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Silverman, Joseph H. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-69904-2">http://dx.doi.org/10.1007/978-0-387-69904-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to FPGA Implementation of Arithmetic Functions
ent://SD_ILS/0/SD_ILS:206518
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Deschamps, Jean-Pierre. author. Sutter, Gustavo D. author. Cantó, Enrique. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-2987-2">http://dx.doi.org/10.1007/978-94-007-2987-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Arithmetic of Fundamental Groups PIA 2010
ent://SD_ILS/0/SD_ILS:195483
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Stix, Jakob. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23905-2">http://dx.doi.org/10.1007/978-3-642-23905-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Travelling Mathematics - The Fate of Diophantos' Arithmetic
ent://SD_ILS/0/SD_ILS:176696
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Meskens, Ad. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-0346-0643-1">http://dx.doi.org/10.1007/978-3-0346-0643-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Brain: Fuzzy Arithmetic to Quantum Computing
ent://SD_ILS/0/SD_ILS:183300
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Rocha, Armando Freitas. author. Massad, Eduardo. author. Pereira, Alfredo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-32357-0">http://dx.doi.org/10.1007/3-540-32357-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Arithmetic of Finite Fields 9th International Workshop, WAIFI 2022, Chengdu, China, August 29 - September 2, 2022, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520791
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Mesnager, Sihem. editor. Zhou, Zhengchun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-22944-2">https://doi.org/10.1007/978-3-031-22944-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Next Generation Arithmetic 4th International Conference, CoNGA 2023, Singapore, March 1-2, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520858
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Gustafson, John. editor. (orcid) Leong, Siew Hoon. editor. Michalewicz, Marek. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-32180-1">https://doi.org/10.1007/978-3-031-32180-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Approximate Arithmetic Circuit Architectures for FPGA-based Systems
ent://SD_ILS/0/SD_ILS:527321
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Ullah, Salim. author. Kumar, Akash. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-21294-9">https://doi.org/10.1007/978-3-031-21294-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Arithmetic of Finite Fields 7th International Workshop, WAIFI 2018, Bergen, Norway, June 14-16, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:400306
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Budaghyan, Lilya. editor. Rodríguez-Henríquez, Francisco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-05153-2">https://doi.org/10.1007/978-3-030-05153-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Arithmetic of Finite Fields 5th International Workshop, WAIFI 2014, Gebze, Turkey, September 27-28, 2014. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:518984
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Koç, Çetin Kaya. editor. Mesnager, Sihem. editor. Savaş, Erkay. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-16277-5">https://doi.org/10.1007/978-3-319-16277-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Design of Arithmetic Circuits in Quantum Dot Cellular Automata Nanotechnology
ent://SD_ILS/0/SD_ILS:530558
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Sridharan, K. author. Pudi, Vikramkumar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-16688-9">https://doi.org/10.1007/978-3-319-16688-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933
ent://SD_ILS/0/SD_ILS:336850
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Ewald, William. editor. Sieg, Wilfried. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(336850.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69444-1">http://dx.doi.org/10.1007/978-3-540-69444-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Arithmetic and Geometry of K3 Surfaces and Calabi–Yau Threefolds
ent://SD_ILS/0/SD_ILS:332028
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Laza, Radu. editor. Schütt, Matthias. editor. Yui, Noriko. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332028.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-6403-7">http://dx.doi.org/10.1007/978-1-4614-6403-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rational Points and Arithmetic of Fundamental Groups Evidence for the Section Conjecture
ent://SD_ILS/0/SD_ILS:333349
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Stix, Jakob. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333349.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30674-7">http://dx.doi.org/10.1007/978-3-642-30674-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Knots and Primes An Introduction to Arithmetic Topology
ent://SD_ILS/0/SD_ILS:173374
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Morishita, Masanori. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-2158-9">http://dx.doi.org/10.1007/978-1-4471-2158-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Arithmetic of Finite Fields 4th International Workshop, WAIFI 2012, Bochum, Germany, July 16-19, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197122
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Özbudak, Ferruh. editor. Rodríguez-Henríquez, Francisco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31662-3">http://dx.doi.org/10.1007/978-3-642-31662-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems
ent://SD_ILS/0/SD_ILS:199986
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Herde, Christian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-9949-1">http://dx.doi.org/10.1007/978-3-8348-9949-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Arithmetic of Finite Fields Third International Workshop, WAIFI 2010, Istanbul, Turkey, June 27-30, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192452
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Hasan, M. Anwar. editor. Helleseth, Tor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13797-6">http://dx.doi.org/10.1007/978-3-642-13797-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Arithmetic Geometry Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy, September 10-15, 2007
ent://SD_ILS/0/SD_ILS:193134
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Colliot-Thélène, Jean-Louis. author. Swinnerton-Dyer, Peter. author. Vojta, Paul. author. Corvaja, Pietro. editor. Gasbarri, Carlo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15945-9">http://dx.doi.org/10.1007/978-3-642-15945-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algebra, Arithmetic, and Geometry Volume II: In Honor of Yu. I. Manin
ent://SD_ILS/0/SD_ILS:168279
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Tschinkel, Yuri. editor. Zarhin, Yuri. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-8176-4747-6">http://dx.doi.org/10.1007/978-0-8176-4747-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algebra, Arithmetic, and Geometry Volume I: In Honor of Yu. I. Manin
ent://SD_ILS/0/SD_ILS:168278
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Tschinkel, Yuri. editor. Zarhin, Yuri. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-8176-4745-2">http://dx.doi.org/10.1007/978-0-8176-4745-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Arithmetic of Finite Fields 2nd International Workshop, WAIFI 2008 Siena, Italy, July 6-9, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:185849
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Gathen, Joachim. editor. Imaña, José Luis. editor. Koç, Çetin Kaya. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69499-1">http://dx.doi.org/10.1007/978-3-540-69499-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Arithmetic of Finite Fields First International Workshop, WAIFI 2007, Madrid, Spain, June 21-22, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186734
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Carlet, Claude. editor. Sunar, Berk. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73074-3">http://dx.doi.org/10.1007/978-3-540-73074-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Legacy of Mario Pieri in Geometry and Arithmetic
ent://SD_ILS/0/SD_ILS:168218
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Marchisotto, Elena Anne. author. Smith, James T. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-8176-4603-5">http://dx.doi.org/10.1007/978-0-8176-4603-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Shaping of Arithmetic after C. F. Gauss’s Disquisitiones Arithmeticae
ent://SD_ILS/0/SD_ILS:184155
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Goldstein, Catherine. editor. Schappacher, Norbert. editor. Schwermer, Joachim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-34720-0">http://dx.doi.org/10.1007/978-3-540-34720-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Arithmetic and Geometry Around Hypergeometric Functions Lecture Notes of a CIMPA Summer School held at Galatasaray University, Istanbul, 2005
ent://SD_ILS/0/SD_ILS:198035
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Holzapfel, Rolf-Peter. editor. Uludağ, A. Muhammed. editor. Yoshida, Masaaki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-7643-8284-1">http://dx.doi.org/10.1007/978-3-7643-8284-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Noncommutative Geometry and Number Theory Where Arithmetic meets Geometry and Physics
ent://SD_ILS/0/SD_ILS:198848
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Consani, Caterina. editor. Marcolli, Matilde. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-0352-8">http://dx.doi.org/10.1007/978-3-8348-0352-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applied Fuzzy Arithmetic An Introduction with Engineering Applications
ent://SD_ILS/0/SD_ILS:181330
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Hanss, Michael. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138914">http://dx.doi.org/10.1007/b138914</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Concrete Abstractions Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
ent://SD_ILS/0/SD_ILS:520401
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Schreiner, Wolfgang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-24934-1">https://doi.org/10.1007/978-3-031-24934-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~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 I
ent://SD_ILS/0/SD_ILS:520843
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-30823-9">https://doi.org/10.1007/978-3-031-30823-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520984
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Rozier, Kristin Yvonne. editor. Chaudhuri, Swarat. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-33170-1">https://doi.org/10.1007/978-3-031-33170-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practical Aspects of Declarative Languages 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:521411
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Gebser, Martin. editor. Sergey, Ilya. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-52038-9">https://doi.org/10.1007/978-3-031-52038-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Smart Technologies for Power and Green Energy Proceedings of STPGE 2022
ent://SD_ILS/0/SD_ILS:526795
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Dash, Rudra Narayan. editor. Rathore, Akshay Kumar. editor. Khadkikar, Vinod. editor. Patel, Ranjeeta. editor. Debnath, Manoj. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-2764-5">https://doi.org/10.1007/978-981-19-2764-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
GeNeDis 2022 Molecular, Chemical, and Cellular Biology
ent://SD_ILS/0/SD_ILS:527656
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Vlamos, Panagiotis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-31978-5">https://doi.org/10.1007/978-3-031-31978-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applications of Artificial Intelligence and Neural Systems to Data Science
ent://SD_ILS/0/SD_ILS:527663
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Esposito, Anna. editor. (orcid)0000-0002-7268-1795 Faundez-Zanuy, Marcos. editor. (orcid)0000-0003-0605-1282 Morabito, Francesco Carlo. editor. (orcid)0000-0003-0734-9136 Pasero, Eros. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-3592-5">https://doi.org/10.1007/978-981-99-3592-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
From Algorithms to Hardware Architectures Using Digital Radios as a Design Example
ent://SD_ILS/0/SD_ILS:527672
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Abbas, Karim. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-08693-9">https://doi.org/10.1007/978-3-031-08693-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Mathematics and Computing
ent://SD_ILS/0/SD_ILS:528192
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Gyei-Kark, Park. editor. Jana, Dipak Kumar. editor. Panja, Prabir. editor. Abd Wahab, Mohd Helmy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-2300-5">https://doi.org/10.1007/978-981-19-2300-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Machine Learning and Metaheuristics: Methods and Analysis
ent://SD_ILS/0/SD_ILS:528726
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Dulhare, Uma N. editor. Houssein, Essam Halim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-6645-5">https://doi.org/10.1007/978-981-99-6645-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
International Conference on Artificial Intelligence Science and Applications (CAISA)
ent://SD_ILS/0/SD_ILS:528900
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Abd Elaziz, Mohamed. editor. Medhat Gaber, Mohamed. editor. El-Sappagh, Shaker. editor. Al-qaness, Mohammed A. A. editor. Ewees, Ahmed A. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-28106-8">https://doi.org/10.1007/978-3-031-28106-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in VLSI and Embedded Systems Select Proceedings of AVES 2021
ent://SD_ILS/0/SD_ILS:529089
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Darji, Anand D. editor. Joshi, Deepak. editor. Joshi, Amit. editor. Sheriff, Ray. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-6780-1">https://doi.org/10.1007/978-981-19-6780-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Java A Concise Introduction to Programming
ent://SD_ILS/0/SD_ILS:520560
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Streib, James T. author. Soma, Takako. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-22842-1">https://doi.org/10.1007/978-3-031-22842-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Data Analytics A Theoretical and Practical View from the EDISON Project
ent://SD_ILS/0/SD_ILS:520729
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Cuadrado-Gallego, Juan J. author. Demchenko, Yuri. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-39129-3">https://doi.org/10.1007/978-3-031-39129-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Internet of Things, Smart Spaces, and Next Generation Networks and Systems 22nd International Conference, NEW2AN 2022, Tashkent, Uzbekistan, December 15-16, 2022, Proceedings
ent://SD_ILS/0/SD_ILS:520839
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Koucheryavy, Yevgeni. editor. (orcid) Aziz, Ahmed. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-30258-9">https://doi.org/10.1007/978-3-031-30258-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel Processing and Applied Mathematics 14th International Conference, PPAM 2022, Gdansk, Poland, September 11-14, 2022, Revised Selected Papers, Part II
ent://SD_ILS/0/SD_ILS:520846
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Deelman, Ewa. editor. Karczewski, Konrad. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-30445-3">https://doi.org/10.1007/978-3-031-30445-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cyber Security, Cryptology, and Machine Learning 7th International Symposium, CSCML 2023, Be'er Sheva, Israel, June 29-30, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520998
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Dolev, Shlomi. editor. Gudes, Ehud. editor. Paillier, Pascal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-34671-2">https://doi.org/10.1007/978-3-031-34671-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applied Cryptography and Network Security Workshops ACNS 2023 Satellite Workshops, ADSC, AIBlock, AIHWS, AIoTS, CIMSS, Cloud S&P, SCI, SecMT, SiMLA, Kyoto, Japan, June 19-22, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521216
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Zhou, Jianying. editor. (orcid) Batina, Lejla. editor. Li, Zengpeng. editor. Lin, Jingqiang. editor. Losiouk, Eleonora. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-41181-6">https://doi.org/10.1007/978-3-031-41181-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundation Mathematics for Computer Science A Visual Approach
ent://SD_ILS/0/SD_ILS:520271
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Vince, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-17411-7">https://doi.org/10.1007/978-3-031-17411-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Boolean Techniques Selected Papers from the 15th International Workshop on Boolean Problems
ent://SD_ILS/0/SD_ILS:528338
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Drechsler, Rolf. editor. Huhn, Sebastian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-28916-3">https://doi.org/10.1007/978-3-031-28916-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Metaheuristics and Optimization in Computer and Electrical Engineering Volume 2: Hybrid and Improved Algorithms
ent://SD_ILS/0/SD_ILS:528555
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Razmjooy, Navid. editor. Ghadimi, Noradin. editor. Rajinikanth, Venkatesan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-42685-8">https://doi.org/10.1007/978-3-031-42685-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Inventive Communication and Computational Technologies Proceedings of ICICCT 2022
ent://SD_ILS/0/SD_ILS:528777
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Ranganathan, G. editor. Fernando, Xavier. editor. Rocha, Álvaro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-4960-9">https://doi.org/10.1007/978-981-19-4960-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Static Analysis 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521258
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Hermenegildo, Manuel V. editor. Morales, José F. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Collective Intelligence 15th International Conference, ICCCI 2023, Budapest, Hungary, September 27-29, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521308
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Nguyen, Ngoc Thanh. editor. Botzheim, János. editor. Gulyás, László. editor. Núñez, Manuel. editor. Treur, Jan. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-41456-5">https://doi.org/10.1007/978-3-031-41456-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Uncertainty, Constraints, and Decision Making
ent://SD_ILS/0/SD_ILS:528363
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Ceberio, Martine. editor. Kreinovich, Vladik. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-36394-8">https://doi.org/10.1007/978-3-031-36394-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Futuristic Communication and Network Technologies Select Proceedings of VICFCNT 2021, Volume 2
ent://SD_ILS/0/SD_ILS:528092
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Subhashini, N. editor. Ezra, Morris. A. G. editor. Liaw, Shien-Kuei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-9748-8">https://doi.org/10.1007/978-981-19-9748-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithmic Aspects of Cloud Computing 4th International Symposium, ALGOCLOUD 2018, Helsinki, Finland, August 20–21, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:483105
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Disser, Yann. editor. (orcid)0000-0002-2085-0454 Verykios, Vassilios S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-19759-9">https://doi.org/10.1007/978-3-030-19759-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pattern Recognition 40th German Conference, GCPR 2018, Stuttgart, Germany, October 9-12, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:484106
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Brox, Thomas. editor. (orcid)0000-0002-6282-8861 Bruhn, Andrés. editor. Fritz, Mario. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-12939-2">https://doi.org/10.1007/978-3-030-12939-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applications of Evolutionary Computation 22nd International Conference, EvoApplications 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486305
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Kaufmann, Paul. editor. (orcid)0000-0001-7196-389X Castillo, Pedro A. editor. (orcid)0000-0002-5258-0620 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-16692-2">https://doi.org/10.1007/978-3-030-16692-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles and Practice of Constraint Programming 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486336
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Schiex, Thomas. editor. (orcid)0000-0001-6049-3415 de Givry, Simon. editor. (orcid)0000-0002-2242-0458 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30048-7">https://doi.org/10.1007/978-3-030-30048-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pervasive Computing: A Networking Perspective and Future Directions
ent://SD_ILS/0/SD_ILS:484434
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Bhargava, Deepshikha. editor. Vyas, Sonali. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-3462-7">https://doi.org/10.1007/978-981-13-3462-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on High-Performance Embedded Architectures and Compilers V
ent://SD_ILS/0/SD_ILS:484586
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Silvano, Cristina. editor. (orcid)0000-0003-1668-0883 Bertels, Koen. editor. (orcid)0000-0001-9310-4885 Schulte, Michael. editor. (orcid)0000-0002-0213-4155 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-58834-5">https://doi.org/10.1007/978-3-662-58834-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Learning and Intelligent Optimization 12th International Conference, LION 12, Kalamata, Greece, June 10–15, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:484893
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Battiti, Roberto. editor. (orcid)0000-0002-0259-8603 Brunato, Mauro. editor. (orcid)0000-0002-7885-4255 Kotsireas, Ilias. editor. (orcid)0000-0003-2126-8383 Pardalos, Panos M. editor. (orcid)0000-0003-2824-101X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-05348-2">https://doi.org/10.1007/978-3-030-05348-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rough Sets International Joint Conference, IJCRS 2019, Debrecen, Hungary, June 17–21, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:485305
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Mihálydeák, Tamás. editor. (orcid)0000-0002-4382-5921 Min, Fan. editor. (orcid)0000-0002-3290-1036 Wang, Guoyin. editor. (orcid)0000-0002-8521-5232 Banerjee, Mohua. editor. (orcid)0000-0002-7517-0923 Düntsch, Ivo. editor. (orcid)0000-0001-8907-2382<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-22815-6">https://doi.org/10.1007/978-3-030-22815-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Machine Learning and Knowledge Extraction Third IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2019, Canterbury, UK, August 26–29, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486179
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Holzinger, Andreas. editor. (orcid)0000-0002-6786-5194 Kieseberg, Peter. editor. (orcid)0000-0002-2847-2152 Tjoa, A Min. editor. Weippl, Edgar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-29726-8">https://doi.org/10.1007/978-3-030-29726-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integer Programming and Combinatorial Optimization 20th International Conference, IPCO 2019, Ann Arbor, MI, USA, May 22-24, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486322
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Lodi, Andrea. editor. (orcid)0000-0001-9269-633X Nagarajan, Viswanath. editor. (orcid)0000-0002-9514-5581 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17953-3">https://doi.org/10.1007/978-3-030-17953-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms for Computational Biology 6th International Conference, AlCoB 2019, Berkeley, CA, USA, May 28–30, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:487004
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Holmes, Ian. editor. (orcid)0000-0001-7639-5369 Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Vega-Rodríguez, Miguel A. editor. (orcid)0000-0002-3003-758X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-18174-1">https://doi.org/10.1007/978-3-030-18174-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Research in Computational Molecular Biology 23rd Annual International Conference, RECOMB 2019, Washington, DC, USA, May 5-8, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483463
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Cowen, Lenore J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17083-7">https://doi.org/10.1007/978-3-030-17083-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graph-Theoretic Concepts in Computer Science 45th International Workshop, WG 2019, Vall de Núria, Spain, June 19–21, 2019, Revised Papers
ent://SD_ILS/0/SD_ILS:483906
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Sau, Ignasi. editor. (orcid)0000-0002-8981-9287 Thilikos, Dimitrios M. editor. (orcid)0000-0003-0470-1800 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30786-8">https://doi.org/10.1007/978-3-030-30786-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Big Data Analytics and Knowledge Discovery 21st International Conference, DaWaK 2019, Linz, Austria, August 26–29, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483769
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Ordonez, Carlos. editor. Song, Il-Yeol. editor. Anderst-Kotsis, Gabriele. editor. Tjoa, A Min. editor. (orcid)0000-0002-8295-9252 Khalil, Ismail. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-27520-4">https://doi.org/10.1007/978-3-030-27520-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Information Systems and Industrial Management 18th International Conference, CISIM 2019, Belgrade, Serbia, September 19–21, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484046
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 Chaki, Rituparna. editor. (orcid)0000-0003-1060-5778 Janev, Valentina. editor. (orcid)0000-0002-9794-8505 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-28957-7">https://doi.org/10.1007/978-3-030-28957-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:519313
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafal. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-19324-3">https://doi.org/10.1007/978-3-319-19324-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fuzzy Logic An Introductory Course for Engineering Students
ent://SD_ILS/0/SD_ILS:529616
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Trillas, Enric. author. Eciolaza, Luka. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-14203-6">https://doi.org/10.1007/978-3-319-14203-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of the Second International Conference on Mechatronics and Automatic Control
ent://SD_ILS/0/SD_ILS:529829
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Wang, Wego. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-13707-0">https://doi.org/10.1007/978-3-319-13707-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Intelligence in Digital and Network Designs and Applications
ent://SD_ILS/0/SD_ILS:518338
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Fakhfakh, Mourad. editor. Tlelo-Cuautle, Esteban. editor. Siarry, Patrick. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-20071-2">https://doi.org/10.1007/978-3-319-20071-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Fortran 2008 Programming
ent://SD_ILS/0/SD_ILS:518637
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Brainerd, Walter S. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4471-6759-4">https://doi.org/10.1007/978-1-4471-6759-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77
ent://SD_ILS/0/SD_ILS:518655
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Chivers, Ian. author. Sleightholme, Jane. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-17701-4">https://doi.org/10.1007/978-3-319-17701-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
CryptoSchool
ent://SD_ILS/0/SD_ILS:518657
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author von zur Gathen, Joachim. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-48425-8">https://doi.org/10.1007/978-3-662-48425-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Numbers and Computers
ent://SD_ILS/0/SD_ILS:518688
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Kneusel, Ronald T. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-17260-6">https://doi.org/10.1007/978-3-319-17260-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:519161
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Pitts, Andrew. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-46678-0">https://doi.org/10.1007/978-3-662-46678-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Language, and Computation 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:519040
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Aher, Martin. editor. Hole, Daniel. editor. Jeřábek, Emil. editor. Kupke, Clemens. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-46906-4">https://doi.org/10.1007/978-3-662-46906-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:519090
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Baier, Christel. editor. Tinelli, Cesare. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-46681-0">https://doi.org/10.1007/978-3-662-46681-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Engineering of Complex Systems and Dependability Proceedings of the Tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 29 - July 3 2015, Brunów, Poland
ent://SD_ILS/0/SD_ILS:529344
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Zamojski, Wojciech. editor. Mazurkiewicz, Jacek. editor. Sugier, Jarosław. editor. Walkowiak, Tomasz. editor. Kacprzyk, Janusz. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-19216-1">https://doi.org/10.1007/978-3-319-19216-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Systems in Science and Information 2014
ent://SD_ILS/0/SD_ILS:529656
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Arai, Kohei. editor. Kapoor, Supriya. editor. Bhatia, Rahul. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-14654-6">https://doi.org/10.1007/978-3-319-14654-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Polynomial Theory of Error Correcting Codes
ent://SD_ILS/0/SD_ILS:529681
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Cancellieri, Giovanni. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-01727-3">https://doi.org/10.1007/978-3-319-01727-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Computational Science XXIV Special Issue on Reversible Computing
ent://SD_ILS/0/SD_ILS:489061
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. Thapliyal, Himanshu. editor. Ranganathan, Nagarajan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-45711-5">https://doi.org/10.1007/978-3-662-45711-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Algebra in Scientific Computing 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:485669
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Seiler, Werner M. editor. Vorozhtsov, Evgenii V. editor. (orcid)0000-0003-2753-8399 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-10515-4">https://doi.org/10.1007/978-3-319-10515-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Engineering and Technology 17th CCF Conference, NCCET 2013, Xining, China, July 20-22, 2013. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:335131
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Xu, Weixia. editor. Xiao, Liquan. editor. Zhang, Chengyi. editor. Li, Jinwen. editor. Yu, Liyan. editor.<br/>Preferred Shelf Number ONLINE(335131.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41635-4">http://dx.doi.org/10.1007/978-3-642-41635-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Complex Binary Number System Algorithms and Circuits
ent://SD_ILS/0/SD_ILS:335470
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Jamil, Tariq. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335470.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-81-322-0854-9">http://dx.doi.org/10.1007/978-81-322-0854-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Algebra in Scientific Computing 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:332910
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Mayr, Ernst W. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332910.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-02297-0">http://dx.doi.org/10.1007/978-3-319-02297-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334038
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334038.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35722-0">http://dx.doi.org/10.1007/978-3-642-35722-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Facing the Multicore-Challenge III Aspects of New Paradigms and Technologies in Parallel Computing
ent://SD_ILS/0/SD_ILS:334079
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Keller, Rainer. editor. Kramer, David. editor. Weiss, Jan-Philipp. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334079.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35893-7">http://dx.doi.org/10.1007/978-3-642-35893-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Engineering and Technology 16th National Conference, NCCET 2012, Shanghai, China, August 17-19, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334080
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Xu, Weixia. editor. Xiao, Liquan. editor. Lu, Pingjing. editor. Li, Jinwen. editor. Zhang, Chengyi. editor.<br/>Preferred Shelf Number ONLINE(334080.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35898-2">http://dx.doi.org/10.1007/978-3-642-35898-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computing for Computational Science - VECPAR 2012 10th International Conference, Kope, Japan, July 17-20, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334658
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Daydé, Michel. editor. Marques, Osni. editor. Nakajima, Kengo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334658.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38718-0">http://dx.doi.org/10.1007/978-3-642-38718-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Design, Analysis and Test of Logic Circuits Under Uncertainty
ent://SD_ILS/0/SD_ILS:335669
2025-03-02T00:46:18Z
2025-03-02T00:46:18Z
Author Krishnaswamy, Smita. author. Markov, Igor L. author. Hayes, John P. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335669.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-90-481-9644-9">http://dx.doi.org/10.1007/978-90-481-9644-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>