Search Results for Software

Skip to:Search Results

|

|

|

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Subject: Algorithms.

Author

SpringerLink (Online service)

(252)

Apduhan, Bernady O. editor.

(6)

Falcão, Maria Irene. editor.

(6)

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

(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)

Du, Ding-Zhu. editor.

(5)

Erlebach, Thomas. editor.

(5)

Jansen, Klaus. editor.

(5)

Löwe, Benedikt. editor.

(5)

Vorozhtsov, Evgenii V. editor.

(5)

Mayr, Ernst W. editor.

(4)

Alexander, Michael. editor.

(3)

Bampis, Evripidis. editor.

(3)

Cannataro, Mario. editor.

(3)

Costan, Alexandru. editor.

(3)

Esparza, Javier. editor.

(3)

Fomin, Fedor V. editor.

(3)

Ganzha, Victor G. editor.

(3)

Kecskemeti, Gabor. editor.

(3)

Pan, Jeng-Shyang. editor.

(3)

Persiano, Giuseppe. editor.

(3)

Ricci, Laura. editor.

(3)

Scarano, Vittorio. editor.

(3)

Solis-Oba, Roberto. editor.

(3)

Ali, Moonis. editor.

(2)

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

(2)

Apostolou, Dimitris. editor.

(2)

Beckmann, Arnold. editor.

(2)

Benkner, Siegfried. editor.

(2)

Brandstädt, Andreas. editor.

(2)

Breitbart, Jens. editor.

(2)

Brucker, Peter. author.

(2)

Carretero, Jesus. editor.

(2)

Cascella, Roberto G. editor.

(2)

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

(2)

Chen, Shyi-Ming. editor.

(2)

Cooper, S. Barry. editor.

(2)

Demetrescu, Camil. editor.

(2)

Deng, Xiaotie. editor.

(2)

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

(2)

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

(2)

Felber, Pascal. editor.

(2)

Fraigniaud, Pierre. editor.

(2)

Gheorghe, Marian. editor.

(2)

Gracia, José. editor.

(2)

Guo, Hua. 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)

Jeannot, Emmanuel. editor.

(2)

Kaklamanis, Christos. editor.

(2)

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

(2)

Knust, Sigrid. author.

(2)

Koutsoupias, Elias. editor.

(2)

Kratsch, Dieter. editor.

(2)

Lankes, Stefan. editor.

(2)

Lengauer, Christian. editor.

(2)

Li, Zhiyang. editor.

(2)

Lin, Guohui. editor.

(2)

Liu, Lei. editor.

(2)

Lopes, Luís. editor.

(2)

Min, Geyong. editor.

(2)

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

(2)

Niu, Ben. editor.

(2)

Pardalos, Panos M. author.

(2)

Pardalos, Panos M. editor.

(2)

Petit, Salvador. editor.

(2)

Preparata, Franco P. editor.

(2)

Qu, Wenyu. editor.

(2)

Rozenberg, Grzegorz. editor.

(2)

Salomaa, Arto. editor.

(2)

Scott, Stephen L. editor.

(2)

Shi, Yuhui. editor.

(2)

Skutella, Martin. editor.

(2)

Stojmenovic, Ivan. editor.

(2)

Sun, Xiang-he. editor.

(2)

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

(2)

Thilikos, Dimitrios M. editor.

(2)

Tokuyama, Takeshi. editor.

(2)

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

(2)

Trott, Michael. author.

(2)

Widmayer, Peter. editor.

(2)

Wu, Yulei. editor.

(2)

Xu, Yinfeng. editor.

(2)

Yang, Tingting. editor.

(2)

Zhou, Wanlei. editor.

(2)

Zhu, Binhai. editor.

(2)

ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367

(2)

Žilinskas, Julius. editor.

(2)

Abadi, Martín. editor.

(1)

Abraham, Erika. editor.

(1)

Abrial, Jean-Raymond. editor.

(1)

Agustín-Aquino, Octavio A. editor. (orcid)0000-0002-0556-6236

(1)

Ahlswede, Rudolf. editor.

(1)

Akiyama, Jin. editor.

(1)

Alhazov, Artiom. editor.

(1)

Alinovi, Francesco. author.

(1)

Alpuente, María. editor.

(1)

Altmann, Jörn. editor.

(1)

Ambos-Spies, Klaus. editor.

(1)

André, Étienne. editor. (orcid)0000-0001-8473-9555

(1)

Arge, Lars. editor.

(1)

Artho, Cyrille. editor.

(1)

Asano, Tetsuo. editor.

(1)

Avron, Arnon. editor.

(1)

Aydinian, Harout. editor.

(1)

Balke, Wolf-Tilo. editor.

(1)

Bandini, Stefania. editor.

(1)

Bang-Jensen, Jørgen. author.

(1)

Barozzi, Giulio Cesare. author.

(1)

Battiato, Sebastiano. editor. (orcid)0000-0001-6127-2470

(1)

Bayro-Corrochano, Eduardo. editor.

(1)

Bellalta, Boris. editor.

(1)

Belyaev, Evgeny. editor.

(1)

Bender, Andreas, 1976-

(1)

Berger, Ulrich. editor.

(1)

Bezzi, Michele. editor.

(1)

Biondi, Fabrizio. editor.

(1)

Blinovsky, Vladimir. editor.

(1)

Blockeel, Hendrik. editor.

(1)

Bo, Jiang. editor.

(1)

Boche, Holger. author.

(1)

Bodlaender, Hans L. editor.

(1)

Bonakdarpour, Borzoo. editor.

(1)

Bonato, Anthony. editor.

(1)

Bonifaci, Vincenzo. editor.

(1)

Bortolussi, Luca. editor. (orcid)0000-0001-8874-4001

(1)

Bosma, Wieb. editor.

(1)

Bouchachia, Abdelhamid. editor.

(1)

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140

(1)

Boztaş, Serdar. editor.

(1)

Brandes, Ulrik. editor.

(1)

Braverman, Mark. author.

(1)

Brisebarre, Nicolas. author.

(1)

Broersma, Hajo. editor.

(1)

Brown, Gavin. editor.

(1)

Bäumer, Lars. editor.

(1)

Cai, Ning. editor.

(1)

Cai, Zhipeng. editor.

(1)

Calafiore, Giuseppe. author.

(1)

Campos, Sérgio. editor.

(1)

Cannon, John. editor.

(1)

Cao, Jian-nong. editor.

(1)

Cardei, Mihaela. editor.

(1)

Carlet, Claude. editor.

(1)

Carrasco-Ochoa, Jesús Ariel. editor.

(1)

Catania, Barbara. editor. (orcid)0000-0002-6443-169X

(1)

Cavallaro, Andrea. editor.

(1)

Ceroni Díaz, Jose A. editor.

(1)

Cervera, Enric. editor.

(1)

Chan, Henry. editor.

(1)

Chapman, Barbara M. editor.

(1)

Chaskin, Alexander V. editor.

(1)

Chatterjee, Mainak. editor.

(1)

Chekuri, Chandra. editor.

(1)

Chen, Danny Z. editor.

(1)

Chen, Jianer. editor.

(1)

Chen, Xiaoyun. editor.

(1)

Chen, Yu-Fang. editor. (orcid)0000-0003-2872-0336

(1)

Chen, Yueguo. editor.

(1)

Cheng, Chih-Hong. editor.

(1)

Cheng, Shin-Ming. editor.

(1)

Cheng, Siyao. editor.

(1)

Chinellato, Eris. editor.

(1)

Ciuciu, Ioana. editor.

(1)

Clauss, Carsten. editor.

(1)

Cojocaru, Svetlana. editor.

(1)

Collart-Dutilleul, Simon. editor.

(1)

Corchado, Emilio. editor.

(1)

Cui, Bin. editor.

(1)

Cuzzocrea, Alfredo. editor.

(1)

Dabbene, Fabrizio. author.

(1)

Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X

(1)

Damaševičius, Robertas. editor.

(1)

Day, Min-Yuh. editor.

(1)

DeRose, Luiz. editor.

(1)

Decker, Wolfram. author.

(1)

Dediu, Adrian-Horia. editor.

(1)

Deppe, Christian. editor.

(1)

Dershowitz, Nachum. editor.

(1)

Di Fatta, Giuseppe. editor.

(1)

Dimitracopoulos, Costas. editor.

(1)

Disser, Yann. editor. (orcid)0000-0002-2085-0454

(1)

Distante, Cosimo. editor. (orcid)0000-0002-1073-2390

(1)

Dobbertin, Hans. editor.

(1)

Donatelli, Susanna. editor. (orcid)0000-0002-0911-8457

(1)

Dong, Yingfei. editor.

(1)

Dongarra, Jack. editor.

(1)

Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507

(1)

Downey, Rodney G. author.

(1)

Dress, Andreas. editor.

(1)

Dressler, Falko. editor. (orcid)0000-0002-1989-1750

(1)

Language

(249)

(2)

(2)

Publication Date

-

(66)

(37)

(27)

(20)

(18)

(16)

(16)

(16)

(13)

(11)

(9)

(4)

Subject

Computer software.

(143)

Computer science.

(140)

Computational complexity.

(103)

Software engineering.

(66)

Application software.

(59)

Data structures (Computer science).

(59)

Electronic data processing.

(52)

Artificial intelligence.

(49)

Computer graphics.

(42)

Computer Communication Networks.

(39)

Computer communication systems.

(35)

Algebra -- Data processing.

(29)

(22)

(19)

Information theory.

(17)

Programming languages (Electronic computers).

(17)

Computer logic.

(15)

(15)

Mathematical logic.

(13)

Optical data processing.

(13)

Bioinformatics.

(11)

Data encryption (Computer science).

(11)

Pattern recognition.

(11)

Computer science—Mathematics.

(10)

Information storage and retrieval.

(10)

(10)

(9)

Mathematical optimization.

(9)

Algorithm Analysis and Problem Complexity.

(8)

Computer system failures.

(8)

Database management.

(7)

Discrete Mathematics in Computer Science.

(7)

Computer simulation.

(6)

(6)

Management information systems.

(6)

(6)

(5)

Computer science -- Mathematics.

(5)

(4)

Data Structures.

(4)

Numeric Computing.

(4)

Computer organization.

(3)

Computer programming.

(3)

Computer security.

(3)

Distribution (Probability theory).

(3)

Logic, Symbolic and mathematical.

(3)

Operations research.

(3)

Telecommunication.

(3)

Computer network architectures.

(2)

(2)

Engineering mathematics.

(2)

Information systems.

(2)

Math Applications in Computer Science.

(2)

Operating systems (Computers).

(2)

Special purpose computers.

(2)

Arithmetic and logic units, Computer.

(1)

Artificial Intelligence (incl. Robotics).

(1)

Cheminformatics -- Handbooks, manuals, etc.

(1)

Computer hardware.

(1)

Computers and civilization.

(1)

Data structures (Computer scienc.

(1)

Discrete groups.

(1)

Economic theory.

(1)

Education—Data processing.

(1)

(1)

(1)

Fourier analysis.

(1)

Geometry, algebraic.

(1)

(1)

Information Systems Applications (incl. Internet).

(1)

Machine learning.

(1)

Mathematical Logic and Foundations.

(1)

Mathematical Software.

(1)

Mathematical statistics.

(1)

Microprocessors.

(1)

Multimedia systems.

(1)

Natural language processing (Computer science).

(1)

Numerical analysis.

(1)

Programming Languages, Compilers, Interpreters.

(1)

Programming Techniques.

(1)

Software Engineering/Programming and Operating Systems.

(1)

(1)

Symbolic and Algebraic Manipulation.

(1)

Systems theory.

(1)

Theory of Computation.

(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

253 Results Found

Subscribe to search results

1 2 3 4 5 .. 22

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 Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures

Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures

Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures

Author

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Search-Based Software Engineering 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings

Search-Based Software Engineering 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings

Search-Based Software Engineering 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings

Author

Nejati, Shiva. editor. Gay, Gregory. editor. (orcid)0000-0001-6794-9585 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings

Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings

Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings

Author

Le Goues, Claire. editor. Yoo, Shin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

Author

ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667 Semini, Laura. editor. (orcid)0000-0001-8774-2346 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings

Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings

Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings

Author

Biondi, Fabrizio. editor. Given-Wilson, Thomas. editor. Legay, Axel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

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:

7.

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:

8.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Author

Abraham, Erika. editor. Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-642-54862-8

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Principles of Security and Trust Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Principles of Security and Trust Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Principles of Security and Trust Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Author

Abadi, Martín. editor. Kremer, Steve. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-642-54792-8

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for The Cinderella.2 Manual Working with The Interactive Geometry Software

The Cinderella.2 Manual Working with The Interactive Geometry Software

The Cinderella.2 Manual Working with The Interactive Geometry Software

Author

Richter-Gebert, Jürgen. author. Kortenkamp, Ulrich H. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-34926-6

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Rigorous Methods for Software Construction and Analysis Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

Rigorous Methods for Software Construction and Analysis Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

Rigorous Methods for Software Construction and Analysis Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

Author

Abrial, Jean-Raymond. editor. Glässer, Uwe. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-11447-2

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Mathematical Software - ICMS 2006 Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006. Proceedings

Mathematical Software - ICMS 2006 Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006. Proceedings

Mathematical Software - ICMS 2006 Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006. Proceedings

Author

Iglesias, Andrés. editor. Takayama, Nobuki. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11832225

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 .. 22

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11