Search Results for Software

|

|

|

|

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:

+

Subject: Discrete Mathematics in Computer Science.

Author

SpringerLink (Online service)

(108)

Coron, Jean-Sébastien. editor.

(3)

Nielsen, Jesper Buus. editor.

(3)

Prałat, Paweł. editor.

(3)

Canetti, Ran. editor.

(2)

Castelli, Mauro. editor.

(2)

Du, Hongwei. editor.

(2)

Engels, Gregor. editor.

(2)

Eremeev, Anton. editor. (orcid)0000-0001-5289-7874

(2)

Fomin, Fedor V. editor.

(2)

Freivalds, Rūsiņš. editor.

(2)

Gao, Xiaofeng. editor.

(2)

Garay, Juan A. editor.

(2)

Han, Meng. editor.

(2)

Italiano, Giuseppe F. editor.

(2)

Jansen, Klaus. editor.

(2)

Khachay, Michael. editor. (orcid)0000-0003-3555-0080

(2)

Kochetov, Yury. editor. (orcid)0000-0001-7123-8647

(2)

Kwiatkowska, Marta. editor.

(2)

Li, Minming. editor. (orcid)0000-0002-7370-6237

(2)

McDermott, James. editor.

(2)

Mo, Hongwei. editor.

(2)

Pardalos, Panos. editor. (orcid)0000-0001-9623-8053

(2)

Peleg, David. editor.

(2)

Sako, Kazue. editor.

(2)

Sanders, Peter. editor.

(2)

Sarkar, Palash. editor.

(2)

Shi, Yuhui. editor.

(2)

Soto, José A. editor.

(2)

Tan, Ying. editor.

(2)

Wiese, Andreas. editor.

(2)

Yung, Moti. editor.

(2)

Zhu, Binhai. editor.

(2)

Akiyama, Jin. editor.

(1)

Albert, Elvira. editor.

(1)

Aydinian, Harout. editor.

(1)

Baldoni, Roberto. editor.

(1)

Balduccini, Marcello. editor.

(1)

Bar-Noy, Amotz. editor.

(1)

Barbaresco, Frédéric. editor.

(1)

Basu, Amitabh. editor. (orcid)0000-0002-1070-2626

(1)

Bloznelis, Mindaugas. editor.

(1)

Blum, Christian. editor.

(1)

Bodlaender, Hans L. editor.

(1)

Bonato, Anthony. editor.

(1)

Bonifaci, Vincenzo. editor.

(1)

Bonizzoni, Paola. editor.

(1)

Brandstädt, Andreas. editor.

(1)

Brattka, Vasco. editor.

(1)

Brijder, Robert. editor.

(1)

Brodnik, Andrej. editor.

(1)

Bulatov, Andrei A. editor.

(1)

Byrka, Jarosław. editor.

(1)

Béal, Marie-Pierre. editor.

(1)

Cabalar, Pedro. editor.

(1)

Cai, Leizhen. editor.

(1)

Cao, Yixin. editor.

(1)

Carmona, Josep. editor.

(1)

Carton, Olivier. editor.

(1)

Catania, Barbara. editor.

(1)

Chatterjee, Krishnendu. editor.

(1)

Chau, Vincent. editor. (orcid)0000-0002-3362-2063

(1)

Chen, Jianer. editor.

(1)

Cheng, Siu-Wing. editor.

(1)

Cicalese, Ferdinando. editor.

(1)

Correa, José. editor.

(1)

Costa, Ernesto. editor.

(1)

Darling, Aaron. editor.

(1)

Dehne, Frank. editor.

(1)

Demetrescu, Camil. editor.

(1)

Deppe, Christian. editor.

(1)

Dewar, Megan. editor.

(1)

Didimo, Walter. editor.

(1)

Dimov, Ivan. editor.

(1)

Dolev, Shlomi. editor.

(1)

Drungilas, Paulius. editor.

(1)

Du, Ding-Zhu. editor.

(1)

Dürr, Christoph. editor. (orcid)0000-0001-8103-5333

(1)

Dąbrowski, Andrzej. editor. (orcid)0000-0002-1524-4871

(1)

Echahed, Rachid. editor.

(1)

Eichler, Gerald. editor.

(1)

Ekstedt, Mathias. editor.

(1)

Elzer Schwartz, Stephanie. editor.

(1)

Emde Boas, Peter. editor.

(1)

Emek, Yuval. editor.

(1)

Endrullis, Jörg. editor. (orcid)0000-0002-2554-8270

(1)

Erfurth, Christian. editor.

(1)

Erlebach, Thomas. editor.

(1)

Fahrnberger, Günter. editor. (orcid)0000-0002-2606-3988

(1)

Faragó, István. editor.

(1)

Fellows, Michael. editor.

(1)

Fischer, Johannes. editor.

(1)

Fischlin, Marc. editor.

(1)

Fleuriot, Jacques. editor.

(1)

Freivalds, Rūsiņš Mārtiņš. editor.

(1)

Galmiche, Didier. editor.

(1)

García-Sánchez, Pablo. editor.

(1)

Gavrilova, Marina L. editor.

(1)

Gerdt, Vladimir P. editor.

(1)

Ghosh, Subir Kumar. editor.

(1)

Goemans, Michel. editor.

(1)

Gomes, Carla. editor.

(1)

Gonzalez-Diaz, Rocio. editor.

(1)

Greuel, Gert-Martin. editor.

(1)

Groen, Frans C. A. editor.

(1)

Gutin, Gregory. editor.

(1)

Haasdijk, Evert. editor.

(1)

Halldórsson, Magnús M. editor.

(1)

Harmer, Russ. editor. (orcid)0000-0002-0817-1029

(1)

Heywood, Malcolm I. editor.

(1)

Hu, Yifan. editor.

(1)

Höfner, Peter. editor.

(1)

Ida, Tetsuo. editor.

(1)

Iwama, Kazuo. editor.

(1)

Jamnik, Mateja. editor.

(1)

Janhunen, Tomi. editor.

(1)

Jenkyns, Tom. author.

(1)

Jimenez, Maria-Jose. editor.

(1)

Johansson, Thomas. editor.

(1)

Jurgensen, Helmut. editor.

(1)

Kamiński, Bogumił. editor.

(1)

Kamiński, Bogumił. editor. (orcid)0000-0002-0678-282X

(1)

Kano, Mikio. editor.

(1)

Karydis, Ioannis. editor.

(1)

Kaszyński, Daniel. editor.

(1)

Katzenbeisser, Stefan. editor.

(1)

Kawano, Yasuhito. editor.

(1)

Kim, Dong Seong. editor.

(1)

Klasing, Ralf. editor.

(1)

Kliemann, Lasse. editor.

(1)

Koch, Thorsten. editor.

(1)

Koepf, Wolfram. editor.

(1)

Kordy, Barbara. editor.

(1)

Kosiol, Jens. editor. (orcid)0000-0003-4733-2777

(1)

Kosters, Walter A. editor.

(1)

Kraiński, Łukasz. editor.

(1)

Kumar, Akhil. editor.

(1)

Kuznets, Roman. editor. (orcid)0000-0001-5894-8724

(1)

Lam, Tak-Wah. editor.

(1)

Larchey-Wendling, Dominique. editor.

(1)

Lecroq, Thierry. editor.

(1)

Li, Bo. editor. (orcid)0000-0001-7500-8355

(1)

Lin, Dongdai. editor.

(1)

Lodha, Sachin. editor. (orcid)0000-0001-5771-4977

(1)

Lu, Pinyan. editor. (orcid)0009-0005-0569-4122

(1)

López-Ortiz, Alejandro. editor.

(1)

Löwe, Benedikt. editor.

(1)

Marchetti-Spaccamela, Alberto. editor.

(1)

Martí-Oliet, Narciso. editor. (orcid)0000-0002-6576-762X

(1)

Mayr, Ernst W. editor.

(1)

Mazalov, Vladimir. editor. (orcid)0000-0003-2262-2620

(1)

Medrano, Belen. editor.

(1)

Megow, Nicole. editor. (orcid)0000-0002-3531-7644

(1)

Middendorf, Martin. editor.

(1)

Minas, Mark. editor.

(1)

Mitzenmacher, Michael. editor.

(1)

Moscibroda, Thomas. editor.

(1)

Mouchard, Laurent. editor.

(1)

Muntean, Traian. editor.

(1)

Murao, Mio. editor.

(1)

Nawrocki, Jerzy. editor.

(1)

Nguyen, Phong Q. editor.

(1)

Nicosia, Giuseppe. editor.

(1)

Nielsen, Frank. editor.

(1)

Nisse, Nicolas. editor.

(1)

Nöllenburg, Martin. editor.

(1)

O'Regan, Gerard. author.

(1)

Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259

(1)

Pardalos, Panos. editor.

(1)

Patrignani, Maurizio. editor.

(1)

Paule, Peter. editor.

(1)

Persiano, Giuseppe. editor.

(1)

Peyrin, Thomas. editor.

(1)

Pieprzyk, Josef. editor. (orcid)0000-0002-1917-6466

(1)

Pomykała, Jacek. editor. (orcid)0000-0002-6480-5751

(1)

Poulakis, Dimitrios. editor.

(1)

Pous, Damien. editor.

(1)

Qian, Lulu. editor.

(1)

Raghavendra, Prasad. editor.

(1)

Raman, Venkatesh. editor.

(1)

Raskhodnikova, Sofya. editor.

(1)

Reis, Rogério. editor.

(1)

Reischuk, Rüdiger. editor.

(1)

Rescigno, Adele A. editor.

(1)

Rolim, José D. P. editor.

(1)

Rolland, Robert. editor.

(1)

Sack, Harald. editor.

(1)

Sack, Jörg-Rüdiger. editor.

(1)

Sakai, Toshinori. editor.

(1)

Sakiyama, Kazuo. editor.

(1)

Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X

(1)

Schmid, Ulrich. editor. (orcid)0000-0001-9831-8583

(1)

Schulte, Christian. editor.

(1)

Sekanina, Lukas. editor.

(1)

Sellmann, Meinolf. editor.

(1)

Serna, Maria. editor.

(1)

Sgall, Jirí. editor.

(1)

Shur, Arseny M. editor.

(1)

Sikos, Leslie F. author.

(1)

Sim, Kevin. editor.

(1)

Language

(108)

Publication Date

-

(60)

(17)

(15)

(8)

(8)

Subject

Computer science.

(80)

Computational complexity.

(60)

Algorithm Analysis and Problem Complexity.

(55)

Computer software.

(55)

Computer science -- Mathematics.

(48)

Discrete mathematics.

(48)

(33)

Software engineering.

(31)

Artificial intelligence.

(30)

Data structures (Computer science).

(29)

Computer Communication Networks.

(26)

Electronic data processing.

(21)

Numeric Computing.

(21)

Application software.

(18)

Computer and Information Systems Applications.

(18)

Information theory.

(17)

Computer graphics.

(16)

Data Structures.

(16)

Data encryption (Computer science).

(16)

Artificial Intelligence (incl. Robotics).

(15)

Computer networks .

(15)

Data protection.

(15)

Computation by Abstract Devices.

(14)

Theory of Computation.

(14)

Data Structures and Information Theory.

(12)

Mathematical Logic and Formal Languages.

(11)

Computer Science Logic and Foundations of Programming.

(10)

Formal Languages and Automata Theory.

(10)

Machine theory.

(10)

(9)

Logics and Meanings of Programs.

(9)

(8)

(8)

Data Encryption.

(8)

Data and Information Security.

(8)

Numerical analysis.

(7)

Symbolic and Algebraic Manipulation.

(7)

Systems and Data Security.

(7)

Algebra -- Data processing.

(6)

Artificial intelligence -- Data processing.

(6)

Coding and Information Theory.

(6)

(6)

(6)

Design and Analysis of Algorithms.

(6)

Information Storage and Retrieval.

(6)

Information storage and retrieval systems.

(6)

Programming Techniques.

(6)

Bioinformatics.

(5)

Computer Science, general.

(5)

Math Applications in Computer Science.

(5)

Computer vision.

(4)

Data Mining and Knowledge Discovery.

(4)

(4)

Electronic data processing -- Management.

(4)

(4)

Information Systems Applications (incl. Internet).

(4)

Information Systems.

(4)

Management of Computing and Information Systems.

(4)

Mathematics of Computing.

(4)

Compilers (Computer programs).

(3)

Compilers and Interpreters.

(3)

Computational Biology/Bioinformatics.

(3)

Computer Engineering and Networks.

(3)

Computer engineering.

(3)

Computer programming.

(3)

Mathematical Applications in Computer Science.

(3)

Optical pattern recognition.

(3)

Pattern Recognition.

(3)

Applications of Mathematics.

(2)

Arithmetic and Logic Structures.

(2)

(2)

Computational Mathematics and Numerical Analysis.

(2)

Computational and Systems Biology.

(2)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(2)

Discrete Optimization.

(2)

Image Processing and Computer Vision.

(2)

Mathematical optimization.

(2)

Mathematics -- Data processing.

(2)

(2)

Operating Systems.

(2)

Operating systems (Computers).

(2)

Probability and Statistics in Computer Science.

(2)

Signal processing.

(2)

Signal, Speech and Image Processing.

(2)

User Interfaces and Human Computer Interaction.

(2)

Computer Application in Social and Behavioral Sciences.

(1)

Computer arithmetic and logic units.

(1)

Computer simulation.

(1)

Computers -- History.

(1)

Computers and Society.

(1)

Computers and civilization.

(1)

(1)

Computing Milieux.

(1)

Data Structures, Cryptology and Information Theory.

(1)

(1)

History of Computing.

(1)

Human-computer interaction.

(1)

Image processing -- Digital techniques.

(1)

Logic, Symbolic and mathematical.

(1)

Mathematical Logic and Foundations.

(1)

Models and Principles.

(1)

(1)

Operations Research, Management Science.

(1)

Programming Languages, Compilers, Interpreters.

(1)

Quantum Information Technology, Spintronics.

(1)

Simulation and Modeling.

(1)

Social sciences -- Data processing.

(1)

Theoretical, Mathematical and Computational Physics.

(1)

User interfaces (Computer systems).

(1)

Material Type

Shelf Location

Electronic Library

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

108 Results Found

Subscribe to search results

1 2 3 4 5 .. 9

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.

1.

Cover image for Mathematical Optimization Theory and Operations Research 23rd International Conference, MOTOR 2024, Omsk, Russia, June 30-July 6, 2024, Proceedings

Mathematical Optimization Theory and Operations Research 23rd International Conference, MOTOR 2024, Omsk, Russia, June 30-July 6, 2024, Proceedings

Mathematical Optimization Theory and Operations Research 23rd International Conference, MOTOR 2024, Omsk, Russia, June 30-July 6, 2024, Proceedings

Author

Eremeev, Anton. editor. (orcid)0000-0001-5289-7874 Khachay, Michael. editor. (orcid)0000-0003-3555-0080 Kochetov, Yury. editor. (orcid)0000-0001-7123-8647 Mazalov, Vladimir. editor. (orcid)0000-0003-2262-2620 Pardalos, Panos. editor. (orcid)0000-0001-9623-8053

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-62792-7

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Graph Transformation 17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10-11, 2024, Proceedings

Graph Transformation 17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10-11, 2024, Proceedings

Graph Transformation 17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10-11, 2024, Proceedings

Author

Harmer, Russ. editor. (orcid)0000-0002-0817-1029 Kosiol, Jens. editor. (orcid)0000-0003-4733-2777 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-64285-2

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers

Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers

Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers

Author

Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Martí-Oliet, Narciso. editor. (orcid)0000-0002-6576-762X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-65941-6

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Modelling and Mining Networks 19th International Workshop, WAW 2024, Warsaw, Poland, June 3-6, 2024, Proceedings

Modelling and Mining Networks 19th International Workshop, WAW 2024, Warsaw, Poland, June 3-6, 2024, Proceedings

Modelling and Mining Networks 19th International Workshop, WAW 2024, Warsaw, Poland, June 3-6, 2024, Proceedings

Author

Dewar, Megan. editor. Kamiński, Bogumił. editor. (orcid)0000-0002-0678-282X Kaszyński, Daniel. editor. Kraiński, Łukasz. editor. Prałat, Paweł. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-59205-8

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Integer Programming and Combinatorial Optimization 25th International Conference, IPCO 2024, Wroclaw, Poland, July 3-5, 2024, Proceedings

Integer Programming and Combinatorial Optimization 25th International Conference, IPCO 2024, Wroclaw, Poland, July 3-5, 2024, Proceedings

Integer Programming and Combinatorial Optimization 25th International Conference, IPCO 2024, Wroclaw, Poland, July 3-5, 2024, Proceedings

Author

Vygen, Jens. editor. Byrka, Jarosław. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-59835-7

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Structural Information and Communication Complexity 31st International Colloquium, SIROCCO 2024, Vietri sul Mare, Italy, May 27-29, 2024, Proceedings

Structural Information and Communication Complexity 31st International Colloquium, SIROCCO 2024, Vietri sul Mare, Italy, May 27-29, 2024, Proceedings

Structural Information and Communication Complexity 31st International Colloquium, SIROCCO 2024, Vietri sul Mare, Italy, May 27-29, 2024, Proceedings

Author

Emek, Yuval. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-60603-8

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Genetic Programming 20th European Conference, EuroGP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings

Genetic Programming 20th European Conference, EuroGP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings

Genetic Programming 20th European Conference, EuroGP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings

Author

McDermott, James. editor. Castelli, Mauro. editor. Sekanina, Lukas. editor. Haasdijk, Evert. editor. García-Sánchez, Pablo. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-55696-3

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Advances in Cryptology - EUROCRYPT 2017 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 - May 4, 2017, Proceedings, Part III

Advances in Cryptology - EUROCRYPT 2017 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 - May 4, 2017, Proceedings, Part III

Advances in Cryptology - EUROCRYPT 2017 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 - May 4, 2017, Proceedings, Part III

Author

Coron, Jean-Sébastien. editor. Nielsen, Jesper Buus. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-56617-7

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Combinatorial Optimization and Applications 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part II

Combinatorial Optimization and Applications 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part II

Combinatorial Optimization and Applications 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part II

Author

Gao, Xiaofeng. editor. Du, Hongwei. editor. Han, Meng. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-71147-8

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Business Process Management 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings

Business Process Management 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings

Business Process Management 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings

Author

Carmona, Josep. editor. Engels, Gregor. editor. Kumar, Akhil. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-65000-5

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Combinatorial Optimization and Applications 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part I

Combinatorial Optimization and Applications 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part I

Combinatorial Optimization and Applications 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part I

Author

Gao, Xiaofeng. editor. Du, Hongwei. editor. Han, Meng. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-71150-8

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Advances in Computer Games 15th International Conferences, ACG 2017, Leiden, The Netherlands, July 3-5, 2017, Revised Selected Papers

Advances in Computer Games 15th International Conferences, ACG 2017, Leiden, The Netherlands, July 3-5, 2017, Revised Selected Papers

Advances in Computer Games 15th International Conferences, ACG 2017, Leiden, The Netherlands, July 3-5, 2017, Revised Selected Papers

Author

Winands, Mark H.M. editor. (orcid)0000-0002-0125-0824 van den Herik, H. Jaap. editor. Kosters, Walter A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-71649-7

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 .. 9

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11