Search Results for

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Konu: Algorithms.

Author

SpringerLink (Online service)

(601)

Du, Ding-Zhu. editor.

(9)

Rießinger, Thomas. author.

(8)

Wiley InterScience (Online service)

(7)

Apduhan, Bernady O. editor.

(6)

Falcão, Maria Irene. editor.

(6)

Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X

(6)

Ju, Zhaojie. editor.

(6)

Liu, Jinguo. editor.

(6)

Liu, Lianqing. editor.

(6)

Liu, Yuwang. editor.

(6)

Misra, Sanjay. editor. (orcid)0000-0002-3556-9331

(6)

Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959

(6)

Rocha, Ana Maria Alves Coutinho. editor. (orcid)0000-0001-8679-2886

(6)

Rocha, Jorge Gustavo. editor.

(6)

Taniar, David. editor.

(6)

Torre, Carmelo. editor. (orcid)0000-0003-4737-6040

(6)

Yu, Haibin. editor.

(6)

Zhou, Dalin. editor. (orcid)0000-0003-2363-9125

(6)

Erlebach, Thomas. editor.

(5)

Jansen, Klaus. editor.

(5)

Karpov, Pavel. editor. (orcid)0000-0003-4786-9806

(5)

Kůrková, Věra. editor. (orcid)0000-0002-8181-2128

(5)

Löwe, Benedikt. editor.

(5)

Tetko, Igor V. editor. (orcid)0000-0002-6855-0012

(5)

Theis, Fabian. editor. (orcid)0000-0002-2419-1943

(5)

Vatansever, Fahri.

(5)

Vorozhtsov, Evgenii V. editor.

(5)

Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000

(4)

Mayr, Ernst W. editor.

(4)

Pardalos, Panos M. editor.

(4)

Shi, Yuhui. editor.

(4)

Alexander, Michael. editor.

(3)

Bampis, Evripidis. editor.

(3)

Beckmann, Arnold. editor.

(3)

Boche, Holger. author.

(3)

Cannataro, Mario. editor.

(3)

Cooper, S. Barry. editor.

(3)

Cormen, Thomas H.

(3)

Costan, Alexandru. editor.

(3)

Csuhaj-Varjú, Ersébet. editor.

(3)

Deng, Xiaotie. editor.

(3)

Esparza, Javier. editor.

(3)

Fomin, Fedor V. editor.

(3)

Forst, Wilhelm. author.

(3)

Ganzha, Victor G. editor.

(3)

Hartmann, Alexander K.

(3)

Hoffmann, Dieter. author.

(3)

Kaklamanis, Christos. editor.

(3)

Kecskemeti, Gabor. editor.

(3)

Kratsch, Dieter. editor.

(3)

Pan, Jeng-Shyang. editor.

(3)

Persiano, Giuseppe. editor.

(3)

Ricci, Laura. editor.

(3)

Scarano, Vittorio. editor.

(3)

Schwenkert, Rainer. author.

(3)

Solis-Oba, Roberto. editor.

(3)

Stry, Yvonne. author.

(3)

Westermann, Thomas. author.

(3)

Widmayer, Peter. editor.

(3)

(2)

Akiyama, Jin. editor.

(2)

Ali, Moonis. editor.

(2)

Anguita, Davide. author.

(2)

Aniorté, Philippe. editor. (orcid)0000-0003-2499-7549

(2)

Apostolou, Dimitris. editor.

(2)

Attachoo, Boonwat. editor.

(2)

Bartz-Beielstein, Thomas. editor.

(2)

Benkner, Siegfried. editor.

(2)

Blum, Christian. editor.

(2)

(2)

Brandstädt, Andreas. editor.

(2)

Breitbart, Jens. editor.

(2)

Brucker, Peter. author.

(2)

Cai, Zhipeng. editor.

(2)

Calafiore, Giuseppe. author.

(2)

Carretero, Jesus. editor.

(2)

Cascella, Roberto G. editor.

(2)

Catala, Andreu. editor.

(2)

Chbeir, Richard. editor. (orcid)0000-0003-4112-1426

(2)

Chen, Jianer. editor.

(2)

Chen, Shyi-Ming. editor.

(2)

Cichocki, Andrzej.

(2)

Cohen, Henri. author.

(2)

Dabbene, Fabrizio. author.

(2)

Dediu, Adrian-Horia. editor.

(2)

Deep, Kusum. editor.

(2)

Demetrescu, Camil. editor.

(2)

Dickenstein, Alicia. editor.

(2)

Dietzfelbinger, Martin. editor.

(2)

Donzellini, Giuliano. author.

(2)

Douligeris, Christos. editor. (orcid)0000-0002-6849-6693

(2)

Espinoza, Félix Castro. editor.

(2)

Exposito, Ernesto. editor. (orcid)0000-0002-3543-2909

(2)

Felber, Pascal. editor.

(2)

Feldman, Yishai. author.

(2)

Flocchini, Paola. editor.

(2)

Fraigniaud, Pierre. editor.

(2)

Galicia-Haro, Sofía N. editor.

(2)

Garay, Juan A. editor.

(2)

Gelbukh, Alexander. editor.

(2)

Gennaro, Rosario. editor.

(2)

Gerdt, Vladimir P. editor.

(2)

Gheorghe, Marian. editor.

(2)

Golan, Jonathan S. author.

(2)

Gracia, José. editor.

(2)

Gudmundsson, Joachim. editor.

(2)

Guo, Hua. editor.

(2)

Halldórsson, Magnús M. editor.

(2)

Harel, David. author.

(2)

Heggernes, Pinar. editor.

(2)

Herbrich, Ralf.

(2)

Hopcroft, John E. editor.

(2)

Horng, Mong-Fong. editor.

(2)

Hromkovič, Juraj. editor.

(2)

Hu, Xiaodong. editor.

(2)

Huang, De-Shuang. editor.

(2)

Hunold, Sascha. editor.

(2)

Husfeldt, Thore. editor.

(2)

IEEE Engineering in Medicine and Biology Society.

(2)

Jeannot, Emmanuel. editor.

(2)

John Wiley & Sons.

(2)

Johnson, Michael L., 1947-

(2)

Joya, Gonzalo. editor.

(2)

Karagiannis, Dimitris. editor. (orcid)0000-0003-2162-9740

(2)

Knust, Sigrid. author.

(2)

Koepf, Wolfram. editor.

(2)

Kotsireas, Ilias. editor. (orcid)0000-0003-2126-8383

(2)

Koutsoupias, Elias. editor.

(2)

Kratochvíl, Jan. editor.

(2)

Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001

(2)

Lankes, Stefan. editor.

(2)

Lee, Jon. editor.

(2)

Leitão, V. M. A. editor.

(2)

Lengauer, Christian. editor.

(2)

Li, Ming. author.

(2)

Li, Yingshu. editor.

(2)

Li, Zhiyang. editor.

(2)

Lin, Guohui. editor.

(2)

Liu, Lei. editor.

(2)

Lopes, Luís. editor.

(2)

Lu, Huchuan. editor.

(2)

Mahjoub, A. Ridha. editor.

(2)

Marsland, Stephen.

(2)

Min, Geyong. editor.

(2)

Moura Oliveira, Paulo. editor. (orcid)0000-0003-4283-1243

(2)

Muller, Jean-Michel. author.

(2)

(2)

Nagar, Atulya K. author.

(2)

(2)

Nayak, Abhaya C. editor. (orcid)0000-0003-0681-9570

(2)

Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948

(2)

Nguyen, Ngoc-Thanh. editor. (orcid)0000-0002-3247-2948

(2)

Nguyen, Phong Q. editor.

(2)

Niu, Ben. editor.

(2)

Novais, Paulo. editor. (orcid)0000-0002-3549-0754

(2)

Oneto, Luca. author.

(2)

Pal, Sudebkumar Prasant. editor.

(2)

Paquete, Luís. editor.

(2)

Pardalos, Panos M. author.

(2)

Pardalos, Panos M. editor. (orcid)0000-0003-2824-101X

(2)

Pardalos, Panos. editor. (orcid)0000-0003-2824-101X

(2)

Pedrycz, Witold. editor.

(2)

Petit, Salvador. editor.

(2)

Pin, Jean-Éric. editor.

(2)

Ponta, Domenico. author.

(2)

Prałat, Paweł. editor.

(2)

Preparata, Franco P. editor.

(2)

Qu, Wenyu. editor.

(2)

Reis, Luís Paulo. editor. (orcid)0000-0002-4709-1718

(2)

Richter-Gebert, Jürgen. author.

(2)

(2)

Rojas, Ignacio. editor. (orcid)0000-0002-1033-5635

(2)

Rosenfeld, Azriel, 1931-

(2)

Rozenberg, Grzegorz. editor.

(2)

Salomaa, Arto. editor.

(2)

Scott, Stephen L. editor.

(2)

Sharma, Alok. editor. (orcid)0000-0002-7668-3501

(2)

Skutella, Martin. editor.

(2)

Smola, Alexander J.

(2)

Somboonviwat, Kulwadee. editor.

(2)

Stojmenovic, Ivan. editor.

(2)

Sun, Xiang-he. editor.

(2)

Sun, Xiaoming. editor.

(2)

Tan, Ying. editor.

(2)

Tan, Ying. editor. (orcid)0000-0001-8243-4731

(2)

Tang, Huajin. editor.

(2)

Tempo, Roberto. author.

(2)

Thilikos, Dimitrios M. editor.

(2)

Tokuyama, Takeshi. editor.

(2)

Trawinski, Bogdan. editor. (orcid)0000-0002-2956-6388

(2)

Trawiński, Bogdan. editor. (orcid)0000-0002-2956-6388

(2)

Trott, Michael. author.

(2)

Vega-Rodríguez, Miguel A. editor. (orcid)0000-0002-3003-758X

(2)

Vitányi, Paul. author.

(2)

Voß, Stefan. editor.

(2)

Wagner, Dorothea. editor.

(2)

Wang, Zhanshan. editor.

(2)

Waśniewski, Jerzy. editor.

(2)

Wiczanowski, Marcin. author.

(2)

Language

(650)

(28)

(11)

(6)

Publication Date

-

(179)

(131)

(47)

(38)

(37)

(36)

(36)

(33)

(33)

(32)

(32)

(9)

(9)

(8)

(6)

(5)

(5)

(4)

(3)

(3)

(2)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

Subject

Computer science.

(187)

Artificial intelligence.

(152)

Computer software.

(143)

Computational complexity.

(116)

(102)

Data structures (Computer science).

(98)

Computer science—Mathematics.

(84)

Software engineering.

(66)

Computer graphics.

(63)

Application software.

(59)

Computer communication systems.

(58)

Electronic data processing.

(58)

(52)

Optical data processing.

(47)

Computer Communication Networks.

(44)

Numerical analysis.

(43)

Algebra -- Data processing.

(38)

(38)

Mathematical optimization.

(37)

Engineering mathematics.

(33)

Mathematical logic.

(33)

Data encryption (Computer science).

(32)

Computer security.

(30)

(30)

Bioinformatics.

(27)

Information theory.

(27)

Pattern recognition.

(27)

Computer logic.

(25)

Information storage and retrieval.

(23)

(21)

(21)

Computer science -- Mathematics.

(21)

Programming languages (Electronic computers).

(21)

Computer organization.

(18)

(16)

Computer simulation.

(16)

(15)

Operations research.

(15)

Database management.

(14)

Telecommunication.

(14)

(13)

Machine learning.

(13)

(13)

(12)

Computational intelligence.

(12)

Special purpose computers.

(12)

Electronic books.

(11)

Computer system failures.

(10)

Discrete Mathematics in Computer Science.

(10)

Management information systems.

(10)

Distribution (Probability theory).

(9)

Electronic digital computers -- Programming.

(9)

Elektronik sayısal bilgisayarlar -- Programlama.

(9)

(9)

Global analysis (Mathematics).

(9)

Signal processing.

(9)

Algorithm Analysis and Problem Complexity.

(8)

(8)

(7)

Computer programming.

(7)

Computer vision.

(7)

(7)

Geometry, algebraic.

(7)

Logic, Symbolic and mathematical.

(7)

Mathematical statistics.

(7)

Systems theory.

(7)

Arithmetic and logic units, Computer.

(6)

Mathematical physics.

(6)

Discrete groups.

(5)

Field theory (Physics).

(5)

(5)

Image processing.

(5)

Models, Biological.

(5)

Operating systems (Computers).

(5)

(5)

User interfaces (Computer systems).

(5)

(5)

Applications of Mathematics.

(4)

Combinatorial optimization.

(4)

Computer network architectures.

(4)

Computers and civilization.

(4)

Data Structures.

(4)

Health informatics.

(4)

Image processing -- Digital techniques.

(4)

Information systems.

(4)

Neural networks (Computer science)

(4)

Numeric Computing.

(4)

Speech processing systems.

(4)

Systems engineering.

(4)

Adaptive signal processing.

(3)

(3)

Applied mathematics.

(3)

Communications Engineering, Networks.

(3)

Computational Biology -- methods.

(3)

Computational Science and Engineering.

(3)

Computer algorithms.

(3)

Differential equations, partial.

(3)

Electrical engineering.

(3)

Engineering design.

(3)

Iterative methods (Mathematics)

(3)

Kernel functions.

(3)

Math Applications in Computer Science.

(3)

Microprocessors.

(3)

Neural Networks (Computer)

(3)

Neurale netwerken.

(3)

Optical pattern recognition.

(3)

Philosophy (General).

(3)

Remote sensing.

(3)

(3)

(3)

(2)

Biology -- Data processing.

(2)

Biomedical Engineering.

(2)

Biomedical engineering -- Computer simulation.

(2)

Biomedical engineering.

(2)

Biomedische techniek.

(2)

Biometrics (Biology).

(2)

Combinatorial analysis.

(2)

Computer Simulation.

(2)

Computer hardware.

(2)

Computer networks -- Mathematics.

(2)

Control engineering.

(2)

Design and Analysis of Algorithms.

(2)

(2)

Evolution, Molecular.

(2)

Evolutionary programming (Computer science)

(2)

Fourier analysis.

(2)

Fuzzy (inteligência artificial)

(2)

(2)

(2)

Genetic algorithms.

(2)

Genetic epistemology.

(2)

Geographic information systems.

(2)

Geometry -- Data processing.

(2)

Global differential geometry.

(2)

(2)

(2)

Harmonic analysis.

(2)

Image Processing, Computer-Assisted -- methods.

(2)

Image analysis -- Data processing.

(2)

Industrial engineering.

(2)

Information Systems Applications (incl. Internet).

(2)

Law and legislation.

(2)

(2)

MAKİNE BİLGİSİ.

(2)

(2)

Management science.

(2)

Mathematics of Computing.

(2)

Mathematics_$xHistory.

(2)

(2)

Models, Genetic.

(2)

Multimedia systems.

(2)

Natural language processing (Computer science).

(2)

Niet-lineaire dynamica.

(2)

Partial Differential Equations.

(2)

Probabilities -- Data processing.

(2)

Probabilities -- Problems, exercises, etc.

(2)

Production of electric energy or power.

(2)

(2)

Signaalverwerking.

(2)

Signal Processing, Computer-Assisted.

(2)

Signal processing -- Mathematics.

(2)

Social networks -- Mathematics.

(2)

Symbolic and Algebraic Manipulation.

(2)

System analysis.

(2)

Systems Theory, Control.

(2)

Theory of Computation.

(2)

Abstract Harmonic Analysis.

(1)

Adaptive filters -- Design and construction.

(1)

Adaptive filters.

(1)

Algebra, Abstract.

(1)

(1)

Algorithms -- Congresses.

(1)

(1)

(1)

Anesthesia -- Decision making.

(1)

Anesthesia -- methods.

(1)

(1)

(1)

Appl.Mathematics/Computational Methods of Engineering.

(1)

Approximations and Expansions.

(1)

Aquatic biology.

(1)

Architectural design -- Data processing.

(1)

Architectural design -- Mathematics.

(1)

Architecture -- Philosophy.

(1)

Architecture, Computer.

(1)

Arithmetic and Logic Structures.

(1)

Artificial Intelligence (incl. Robotics).

(1)

Artificial Intelligence.

(1)

Besluitvorming.

(1)

(1)

Bilgisayar algoritmaları.

(1)

Bilgisayar programlama.

(1)

Bilişim matematiği.

(1)

Bioinformatics -- Mathematical models.

(1)

(1)

Biological models.

(1)

Biomathematics.

(1)

Brain -- anatomy & histology.

(1)

Brain -- physiology.

(1)

Material Type

Shelf Location

Beytepe CD-ROM Koleksiyonu

Beytepe General Collection

Electronic Library

Sağlık Bilimleri Genel Koleksiyon

Library

Beytepe Library

Health Sciences Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

697 Results Found

Subscribe to search results

1 .. 10 11 12 13 14 .. 59

000000000000DEFAULT

Print

Select a list

Make this your default list.

The following items were successfully added.

There was an error while adding the following items. Please try again.

One or more items could not be added because you are not logged in.

133.

Cover image for Mathematics and Computation in Music 7th International Conference, MCM 2019, Madrid, Spain, June 18–21, 2019, Proceedings

Mathematics and Computation in Music 7th International Conference, MCM 2019, Madrid, Spain, June 18–21, 2019, Proceedings

Mathematics and Computation in Music 7th International Conference, MCM 2019, Madrid, Spain, June 18–21, 2019, Proceedings

Author

Montiel, Mariana. editor. (orcid)0000-0002-7859-1547 Gomez-Martin, Francisco. editor. (orcid)0000-0003-3471-3319 Agustín-Aquino, Octavio A. editor. (orcid)0000-0002-0556-6236 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-21392-3

Format:

Availability

Online Library~1

Available:
Copies:

134.

Cover image for Computational Logistics 10th International Conference, ICCL 2019, Barranquilla, Colombia, September 30 – October 2, 2019, Proceedings

Computational Logistics 10th International Conference, ICCL 2019, Barranquilla, Colombia, September 30 – October 2, 2019, Proceedings

Computational Logistics 10th International Conference, ICCL 2019, Barranquilla, Colombia, September 30 – October 2, 2019, Proceedings

Author

Paternina-Arboleda, Carlos. editor. (orcid)0000-0002-8860-3898 Voß, Stefan. editor. (orcid)0000-0003-1296-4221 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-31140-7

Format:

Availability

Online Library~1

Available:
Copies:

135.

Cover image for Computational Methods in Systems Biology 17th International Conference, CMSB 2019, Trieste, Italy, September 18–20, 2019, Proceedings

Computational Methods in Systems Biology 17th International Conference, CMSB 2019, Trieste, Italy, September 18–20, 2019, Proceedings

Computational Methods in Systems Biology 17th International Conference, CMSB 2019, Trieste, Italy, September 18–20, 2019, Proceedings

Author

Bortolussi, Luca. editor. (orcid)0000-0001-8874-4001 Sanguinetti, Guido. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-31304-3

Format:

Availability

Online Library~1

Available:
Copies:

136.

Cover image for Information and Software Technologies 25th International Conference, ICIST 2019, Vilnius, Lithuania, October 10–12, 2019, Proceedings

Information and Software Technologies 25th International Conference, ICIST 2019, Vilnius, Lithuania, October 10–12, 2019, Proceedings

Information and Software Technologies 25th International Conference, ICIST 2019, Vilnius, Lithuania, October 10–12, 2019, Proceedings

Author

Damaševičius, Robertas. editor. Vasiljevienė, Giedrė. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-30275-7

Format:

Availability

Online Library~1

Available:
Copies:

137.

Cover image for Mathematical Optimization Theory and Operations Research 18th International Conference, MOTOR 2019, Ekaterinburg, Russia, July 8 - 12, 2019, Revised Selected Papers

Mathematical Optimization Theory and Operations Research 18th International Conference, MOTOR 2019, Ekaterinburg, Russia, July 8 - 12, 2019, Revised Selected Papers

Mathematical Optimization Theory and Operations Research 18th International Conference, MOTOR 2019, Ekaterinburg, Russia, July 8 - 12, 2019, Revised Selected Papers

Author

Bykadorov, Igor. editor. (orcid)0000-0002-2740-3905 Strusevich, Vitaly. editor. (orcid)0000-0002-4602-8573 Tchemisova, Tatiana. editor. (orcid)0000-0002-2678-2552 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-33394-2

Format:

Availability

Online Library~1

Available:
Copies:

138.

Cover image for Graph Transformation 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings

Graph Transformation 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings

Graph Transformation 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings

Author

Guerra, Esther. editor. (orcid)0000-0002-2818-2278 Orejas, Fernando. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-23611-3

Format:

Availability

Online Library~1

Available:
Copies:

139.

Cover image for Verification and Evaluation of Computer and Communication Systems 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings

Verification and Evaluation of Computer and Communication Systems 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings

Verification and Evaluation of Computer and Communication Systems 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings

Author

Ganty, Pierre. editor. (orcid)0000-0002-3625-6003 Kaâniche, Mohamed. editor. (orcid)0000-0002-2647-5472 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-35092-5

Format:

Availability

Online Library~1

Available:
Copies:

140.

Cover image for Advances in Computational Intelligence 15th International Work-Conference on Artificial Neural Networks, IWANN 2019, Gran Canaria, Spain, June 12-14, 2019, Proceedings, Part I

Advances in Computational Intelligence 15th International Work-Conference on Artificial Neural Networks, IWANN 2019, Gran Canaria, Spain, June 12-14, 2019, Proceedings, Part I

Advances in Computational Intelligence 15th International Work-Conference on Artificial Neural Networks, IWANN 2019, Gran Canaria, Spain, June 12-14, 2019, Proceedings, Part I

Author

Rojas, Ignacio. editor. (orcid)0000-0002-1033-5635 Joya, Gonzalo. editor. Catala, Andreu. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-20521-8

Format:

Availability

Online Library~1

Available:
Copies:

141.

Cover image for Advances in Computational Intelligence 15th International Work-Conference on Artificial Neural Networks, IWANN 2019, Gran Canaria, Spain, June 12-14, 2019, Proceedings, Part II

Advances in Computational Intelligence 15th International Work-Conference on Artificial Neural Networks, IWANN 2019, Gran Canaria, Spain, June 12-14, 2019, Proceedings, Part II

Advances in Computational Intelligence 15th International Work-Conference on Artificial Neural Networks, IWANN 2019, Gran Canaria, Spain, June 12-14, 2019, Proceedings, Part II

Author

Rojas, Ignacio. editor. (orcid)0000-0002-1033-5635 Joya, Gonzalo. editor. Catala, Andreu. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-20518-8

Format:

Availability

Online Library~1

Available:
Copies:

142.

Cover image for Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings

Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings

Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings

Author

André, Étienne. editor. (orcid)0000-0001-8473-9555 Stoelinga, Mariëlle. editor. (orcid)0000-0001-6793-8165 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-29662-9

Format:

Availability

Online Library~1

Available:
Copies:

143.

Cover image for Theoretical Computer Science 37th National Conference, NCTCS 2019, Lanzhou, China, August 2–4, 2019, Revised Selected Papers

Theoretical Computer Science 37th National Conference, NCTCS 2019, Lanzhou, China, August 2–4, 2019, Revised Selected Papers

Theoretical Computer Science 37th National Conference, NCTCS 2019, Lanzhou, China, August 2–4, 2019, Revised Selected Papers

Author

Sun, Xiaoming. editor. He, Kun. editor. Chen, Xiaoyun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-15-0105-0

Format:

Availability

Online Library~1

Available:
Copies:

144.

Cover image for Computing and Software Science State of the Art and Perspectives

Computing and Software Science State of the Art and Perspectives

Computing and Software Science State of the Art and Perspectives

Author

Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 Woeginger, Gerhard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-91908-9

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 .. 10 11 12 13 14 .. 59

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11