Search Results for Science (General)

|

|

|

|

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: Computers.

Author

SpringerLink (Online service)

(69)

Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964

(5)

Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

(5)

Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X

(5)

Lam, Roberto. editor. (orcid)0000-0003-4297-2441

(5)

Lees, Michael H. editor.

(5)

Monteiro, Jânio. editor. (orcid)0000-0002-4203-1679

(5)

Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025

(5)

Sloot, Peter M.A. editor. (orcid)0000-0002-3848-5395

(5)

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739

(3)

Rozenberg, Grzegorz. editor.

(3)

Salomaa, Arto. editor.

(3)

Adeli, Hojjat. editor.

(2)

Dediu, Adrian-Horia. editor.

(2)

Dillig, Isil. editor.

(2)

Esparza, Javier. editor.

(2)

Ferrández Vicente, José Manuel. editor.

(2)

Fraigniaud, Pierre. editor.

(2)

Gheorghe, Marian. editor.

(2)

Husfeldt, Thore. editor.

(2)

Koutsoupias, Elias. editor.

(2)

Legay, Axel. editor.

(2)

Potapov, Igor. editor.

(2)

Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558

(2)

Tasiran, Serdar. editor.

(2)

Toledo Moreo, Javier. editor.

(2)

Zandron, Claudio. editor. (orcid)0000-0002-2163-7639

(2)

de la Paz López, Félix. editor.

(2)

Álvarez-Sánchez, José Ramón. editor.

(2)

Agrawal, Manindra. editor.

(1)

Aguilera, Marcos K. editor.

(1)

Ait Ameur, Yamine. editor.

(1)

Alhazov, Artiom. editor.

(1)

Alvim, Mário S. editor.

(1)

Anderson, Neal G. editor.

(1)

Atmanspacher, Harald. editor.

(1)

Bacon, Dave. editor.

(1)

Bandini, Stefania. editor.

(1)

Bartz-Beielstein, Thomas. editor.

(1)

Beckmann, Arnold. editor.

(1)

Bensalem, Saddek. editor.

(1)

Bhanja, Sanjukta. editor.

(1)

Biagioni, Edoardo S. editor.

(1)

Bonsangue, Marcello M. editor.

(1)

Bozga, Marius. editor.

(1)

Branke, Juergen. editor.

(1)

Browne, Will N. editor.

(1)

Bui, Lam Thu. editor.

(1)

Calude, Cristian S. editor.

(1)

Camargos, Lasaro. editor. (orcid)0000-0002-4162-6160

(1)

Casadio, Claudia. editor.

(1)

Castelli, Mauro. editor.

(1)

Castillo-Ramirez, Alonso. editor. (orcid)0000-0002-2020-8699

(1)

Chatzikokolakis, Kostas. editor.

(1)

Cheng, Siyao. editor.

(1)

Coecke, Bob. editor.

(1)

Coecke, Bob. editor. (orcid)0000-0002-5310-8723

(1)

Coello Coello, Carlos A. editor. (orcid)0000-0002-8435-680X

(1)

Cojocaru, Svetlana. editor.

(1)

Cooper, S. Barry. editor.

(1)

Corsini, Marc-Michel. editor.

(1)

Csuhaj-Varjú, Ersébet. editor.

(1)

Deb, Kalyanmoy. editor. (orcid)0000-0001-7402-9939

(1)

Diaz, Josep. editor.

(1)

Dick, Grant. editor.

(1)

Duch, Wlodzislaw. editor.

(1)

Egly, Uwe. editor.

(1)

Escobar, Santiago. editor. (orcid)0000-0002-3550-4781

(1)

Esparcia-Alcázar, Anna I. editor.

(1)

Filiot, Emmanuel. editor.

(1)

Filipič, Bogdan. editor. (orcid)0000-0003-4428-4255

(1)

Freivalds, Rūsiņš. editor.

(1)

Ganty, Pierre. editor. (orcid)0000-0002-3625-6003

(1)

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

(1)

Goodman, Erik. editor.

(1)

Gopal, T V. editor.

(1)

Graf, Susanne. editor.

(1)

Grandinetti, Lucio. editor.

(1)

Hao, Jin-Kao. editor.

(1)

Haven, Emmanuel. editor.

(1)

Heywood, Malcolm I. editor.

(1)

Hinze, Thomas. editor.

(1)

Hirsch, Edward. editor.

(1)

Holzer, Markus. editor.

(1)

Hong, Hoon. editor.

(1)

Honkela, Timo. editor.

(1)

Ibarra, Oscar H. editor.

(1)

Idoumghar, Lhassane. editor.

(1)

Ishibuchi, Hisao. editor.

(1)

Janota, Mikoláš. editor. (orcid)0000-0003-3487-784X

(1)

Jin, Yaochu. editor.

(1)

Juckeland, Guido. editor. (orcid)0000-0002-9935-4428

(1)

Jungers, Raphaël. editor.

(1)

Jürgensen, Helmut. editor.

(1)

Karhumäki, Juhani. editor.

(1)

Kari, Lila. editor.

(1)

Kazuo, Iwama. editor.

(1)

Kaâniche, Mohamed. editor. (orcid)0000-0002-2647-5472

(1)

Kitto, Kirsty. editor.

(1)

Klamroth, Kathrin. editor.

(1)

Kobayashi, Satoshi. editor.

(1)

Kopecki, Steffen. editor.

(1)

Koprinkova-Hristova, Petia. editor.

(1)

Krawiec, Krzysztof. editor.

(1)

Kutrib, Martin. editor.

(1)

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

(1)

Lakhnech, Yassine. editor.

(1)

Lambert-Mogiliansky, Ariane. editor. (orcid)0000-0003-4065-2049

(1)

Lanese, Ivan. editor. (orcid)0000-0003-2527-9995

(1)

Larsen, Kim G. editor.

(1)

Legrand, Pierrick. editor.

(1)

Lepagnot, Julien. editor.

(1)

Li, Angsheng. editor.

(1)

Li, Xiaodong. editor.

(1)

Lippert, Thomas. editor.

(1)

Lozano, Manuel. editor.

(1)

Lutton, Evelyne. editor.

(1)

Lutz, Carsten. editor.

(1)

Lynce, Inês. editor. (orcid)0000-0003-4868-415X

(1)

Magg, Sven. editor.

(1)

Martin-Delgado, Miguel. editor.

(1)

Martín-Vide, Carlos. editor.

(1)

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

(1)

McMillan, Kenneth. editor.

(1)

Meer, Klaus. editor.

(1)

Merelo, Juan J. editor.

(1)

Miani, Rodrigo. editor. (orcid)0000-0002-8176-8040

(1)

Miettinen, Kaisa. editor. (orcid)0000-0003-1013-4689

(1)

Monmarché, Nicolas. editor.

(1)

Moortgat, Michael. editor.

(1)

Mora, Antonio M. editor.

(1)

Mostaghim, Sanaz. editor. (orcid)0000-0002-9917-5227

(1)

Murata, Satoshi. editor.

(1)

Muscholl, Anca. editor.

(1)

Nicolau, Miguel. editor.

(1)

Okhotin, Alexander. editor.

(1)

Olarte, Carlos. editor.

(1)

Ouaknine, Joel. editor.

(1)

Palm, Günther. editor.

(1)

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

(1)

Pardo, Alberto. editor.

(1)

Pasquini, Rafael. editor. (orcid)0000-0002-8781-3914

(1)

Petkov, Nicolai. editor.

(1)

Pin, Jean-Éric. editor.

(1)

Querzoni, Leonardo. editor.

(1)

Raine, Derek. editor.

(1)

Reed, Patrick. editor. (orcid)0000-0002-7963-6102

(1)

Resende, Mauricio G.C. editor.

(1)

Rival, Xavier. editor.

(1)

Rivas Santos, Victor Manuel. editor.

(1)

Roetteler, Martin. editor.

(1)

Rogozhin, Yurii. editor.

(1)

Rosas, Erika. editor. (orcid)0000-0003-0377-0193

(1)

Rousseau, Louis-Martin. editor.

(1)

Sadayappan, Ponnuswamy. editor. (orcid)0000-0002-4737-2034

(1)

Salaün, Gwen. editor.

(1)

Sangiorgi, Davide. editor.

(1)

Sattler, Uli. editor.

(1)

Schewe, Klaus-Dieter. editor.

(1)

Schoenauer, Marc. editor.

(1)

Scott, Philip. editor.

(1)

Shapiro, Marc. editor.

(1)

Shi, Yuhui. editor.

(1)

Shur, Arseny M. editor.

(1)

Siarry, Patrick. editor.

(1)

Sierra-Rodríguez, José-Luis. editor.

(1)

Sim, Kevin. editor. (orcid)0000-0001-6555-7721

(1)

Singh, Pramod. editor.

(1)

Sinz, Carsten. editor.

(1)

Sirakoulis, Georgios. editor.

(1)

Smith, James. editor.

(1)

Sosík, Petr. editor.

(1)

Stergiou, Kostas. editor.

(1)

Tan, Kay Chen. editor.

(1)

Tang, Ke. editor.

(1)

Tinelli, Cesare. editor.

(1)

Trinitis, Carsten. editor. (orcid)0000-0002-6750-3652

(1)

Truthe, Bianca. editor.

(1)

Turhan, Anni-Yasmin. editor.

(1)

Valencia, Frank. editor.

(1)

Vereshchagin, Nikolay. editor.

(1)

Villa, Allessandro E.P. editor.

(1)

Viola, Alfredo. editor.

(1)

Vogiatzis, Chrysafis. editor.

(1)

Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792

(1)

Volkov, Mikhail V. editor.

(1)

Walteros, Jose L. editor.

(1)

Was, Jaroslaw. editor.

(1)

Weber, Cornelius. editor.

(1)

Weiland, Michèle. editor. (orcid)0000-0003-4713-3073

(1)

Wermter, Stefan. editor.

(1)

Whigham, Peter. editor.

(1)

Wolter, Frank. editor.

(1)

Worrell, James. editor.

(1)

Yap, Chee. editor.

(1)

Zarpelão, Bruno. editor. (orcid)0000-0001-9172-3578

(1)

Zhang, Lijun. editor. (orcid)0000-0002-3692-2088

(1)

Zhang, Mengjie. editor.

(1)

Zheng, Yao. editor.

(1)

de Oliveira, Pedro P. B. editor. (orcid)0000-0002-6022-0270

(1)

Language

(69)

Publication Date

-

(44)

(25)

Subject

Artificial intelligence.

(33)

(28)

Software engineering.

(23)

Computer science—Mathematics.

(21)

Mathematical logic.

(20)

Computer logic.

(19)

Computer organization.

(9)

Application software.

(8)

Computer communication systems.

(7)

Optical data processing.

(7)

Programming languages (Electronic computers).

(7)

Computer simulation.

(6)

Numerical analysis.

(6)

Pattern recognition.

(5)

Data structures (Computer science).

(4)

Information storage and retrieval.

(4)

Computer security.

(3)

Database management.

(3)

Bioinformatics.

(2)

(2)

Computer system failures.

(2)

Information theory.

(2)

Mathematical statistics.

(2)

Computer hardware.

(1)

Computer programming.

(1)

Computer science.

(1)

(1)

(1)

Management information systems.

(1)

Microprocessors.

(1)

Quantum computers.

(1)

Special purpose computers.

(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

69 Results Found

Subscribe to search results

1 2 3 4 5 6

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.

13.

Cover image for High Performance Computing 34th International Conference, ISC High Performance 2019, Frankfurt/Main, Germany, June 16–20, 2019, Proceedings

High Performance Computing 34th International Conference, ISC High Performance 2019, Frankfurt/Main, Germany, June 16–20, 2019, Proceedings

High Performance Computing 34th International Conference, ISC High Performance 2019, Frankfurt/Main, Germany, June 16–20, 2019, Proceedings

Author

Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Juckeland, Guido. editor. (orcid)0000-0002-9935-4428 Trinitis, Carsten. editor. (orcid)0000-0002-6750-3652 Sadayappan, Ponnuswamy. editor. (orcid)0000-0002-4737-2034 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for Description Logic, Theory Combination, and All That Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday

Description Logic, Theory Combination, and All That Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday

Description Logic, Theory Combination, and All That Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday

Author

Lutz, Carsten. editor. Sattler, Uli. editor. Tinelli, Cesare. editor. Turhan, Anni-Yasmin. editor. Wolter, Frank. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

15.

Cover image for Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part II

Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part II

Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part II

Author

Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025 Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964 Monteiro, Jânio. editor. (orcid)0000-0002-4203-1679 Lam, Roberto. editor. (orcid)0000-0003-4297-2441 Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for Quantum Interaction 11th International Conference, QI 2018, Nice, France, September 3–5, 2018, Revised Selected Papers

Quantum Interaction 11th International Conference, QI 2018, Nice, France, September 3–5, 2018, Revised Selected Papers

Quantum Interaction 11th International Conference, QI 2018, Nice, France, September 3–5, 2018, Revised Selected Papers

Author

Coecke, Bob. editor. (orcid)0000-0002-5310-8723 Lambert-Mogiliansky, Ariane. editor. (orcid)0000-0003-4065-2049 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

17.

Cover image for Wireless Algorithms, Systems, and Applications 14th International Conference, WASA 2019, Honolulu, HI, USA, June 24–26, 2019, Proceedings

Wireless Algorithms, Systems, and Applications 14th International Conference, WASA 2019, Honolulu, HI, USA, June 24–26, 2019, Proceedings

Wireless Algorithms, Systems, and Applications 14th International Conference, WASA 2019, Honolulu, HI, USA, June 24–26, 2019, Proceedings

Author

Biagioni, Edoardo S. editor. Zheng, Yao. editor. Cheng, Siyao. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-23597-0

Format:

Availability

Online Library~1

Available:
Copies:

18.

Cover image for Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

Author

Dillig, Isil. editor. Tasiran, Serdar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

Author

Ölveczky, Peter Csaba. editor. Salaün, Gwen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-30446-1

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for Reachability Problems 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings

Reachability Problems 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings

Reachability Problems 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings

Author

Filiot, Emmanuel. editor. Jungers, Raphaël. editor. Potapov, Igor. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

21.

Cover image for Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

Author

Dillig, Isil. editor. Tasiran, Serdar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-25540-4

Format:

Availability

Online Library~1

Available:
Copies:

22.

Cover image for Theory and Applications of Satisfiability Testing – SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings

Theory and Applications of Satisfiability Testing – SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings

Theory and Applications of Satisfiability Testing – SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings

Author

Janota, Mikoláš. editor. (orcid)0000-0003-3487-784X Lynce, Inês. editor. (orcid)0000-0003-4868-415X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

23.

Cover image for Integration of Constraint Programming, Artificial Intelligence, and Operations Research 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019, Proceedings

Integration of Constraint Programming, Artificial Intelligence, and Operations Research 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019, Proceedings

Integration of Constraint Programming, Artificial Intelligence, and Operations Research 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019, Proceedings

Author

Rousseau, Louis-Martin. editor. Stergiou, Kostas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

24.

Cover image for Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part IV

Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part IV

Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part IV

Author

Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025 Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964 Monteiro, Jânio. editor. (orcid)0000-0002-4203-1679 Lam, Roberto. editor. (orcid)0000-0003-4297-2441 Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-22747-0

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 6

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11