Search Results for Science: general issues.

|

|

|

|

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: Computer science.

Author

SpringerLink (Online service)

(99)

Cheng, Long. editor. (orcid)0000-0001-7565-8788

(7)

Leung, Andrew Chi Sing. editor.

(7)

Ozawa, Seiichi. editor.

(7)

Li, Jin. editor.

(4)

Margaria, Tiziana. editor.

(4)

Steffen, Bernhard. editor.

(4)

Vaidya, Jaideep. editor.

(4)

Karczewski, Konrad. editor.

(3)

Rozenberg, Grzegorz. editor.

(3)

Salomaa, Arto. editor.

(3)

Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786

(3)

Auger, Anne. editor.

(2)

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662

(2)

Chockler, Hana. editor. (orcid)0000-0003-1219-0713

(2)

Deelman, Ewa. editor. (orcid)0000-0001-5106-503X

(2)

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

(2)

Fonseca, Carlos M. editor.

(2)

Foret, Annie. editor.

(2)

Gallagher, John P. editor. (orcid)0000-0001-6984-7419

(2)

Huisman, Marieke. editor.

(2)

Koepf, Wolfram. editor.

(2)

Lourenço, Nuno. editor. (orcid)0000-0002-2154-0642

(2)

Machado, Penousal. editor.

(2)

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

(2)

Paquete, Luís. editor.

(2)

Pogodalla, Sylvain. editor.

(2)

Ricci, Laura. editor.

(2)

Seiler, Werner M. editor. (orcid)0000-0002-0565-1334

(2)

Vorozhtsov, Evgenii V. editor.

(2)

Weidendorfer, Josef. editor.

(2)

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

(2)

Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X

(2)

Whitley, Darrell. editor.

(2)

Yokota, Rio. editor. (orcid)0000-0001-7573-7873

(2)

Ahmed, Amal. editor. (orcid)0000-0001-7424-572X

(1)

Ahn, Hee-Kap. editor.

(1)

Al-Sharhan, Salah A. editor.

(1)

Alam, Sadaf. editor. (orcid)0000-0002-2534-5078

(1)

Aldinucci, Marco. editor. (orcid)0000-0001-8788-0829

(1)

Alexander, Michael. editor.

(1)

Ali, Taher M. editor.

(1)

Artemov, Sergei. editor.

(1)

Asher, Nicholas. editor.

(1)

Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481

(1)

Avigad, Jeremy. editor.

(1)

Badia, Rosa M. editor.

(1)

Baetens, Jan M. editor.

(1)

Barbosa, Jorge G. editor.

(1)

Bellatreche, Ladjel. editor.

(1)

Bender, Michael A. editor.

(1)

Benevides, Mário. editor.

(1)

Bensalem, Saddek. editor.

(1)

Berekovic, Mladen. editor.

(1)

Beyersdorff, Olaf. editor.

(1)

Biffl, Stefan. editor.

(1)

Birattari, Mauro. editor. (orcid)0000-0003-3309-2194

(1)

Blaheta, Radim. editor.

(1)

Bliudze, Simon. editor. (orcid)0000-0002-7900-5271

(1)

Blum, Christian. editor. (orcid)0000-0002-1736-3559

(1)

Bougé, Luc. editor.

(1)

Brandstädt, Andreas. editor.

(1)

Buchty, Rainer. editor.

(1)

Butler, Michael. editor.

(1)

Cagnoni, Stefano. editor.

(1)

Cai, Zhipeng. editor.

(1)

Cannataro, Mario. editor.

(1)

Castelli, Mauro. editor.

(1)

Chen, Jianer. editor.

(1)

Chen, Xuemin. editor. (orcid)0000-0003-3820-9195

(1)

Cheng, Siyao. editor.

(1)

Christensen, Anders L. editor. (orcid)0000-0002-9994-2908

(1)

Cirne, Walfredo. editor.

(1)

Clauss, Carsten. editor.

(1)

Costan, Alexandru. editor.

(1)

Cuadros-Vargas, Ernesto. editor.

(1)

Cygan, Marek. editor.

(1)

Câmpeanu, Cezar. editor. (orcid)0000-0002-9777-3012

(1)

Cîrstea, Corina. editor. (orcid)0000-0003-3165-5678

(1)

Davenport, James H. editor. (orcid)0000-0002-3982-7545

(1)

Desai, Narayan. editor.

(1)

Desharnais, Jules. editor. (orcid)0000-0002-4780-2698

(1)

Dietz, Hendrik. editor.

(1)

Dillig, Isil. editor.

(1)

Dongarra, Jack. editor.

(1)

Dorigo, Marco. editor. (orcid)0000-0002-3971-0507

(1)

Doty, David. editor. (orcid)0000-0002-3922-172X

(1)

Durand-Lose, Jérôme. editor. (orcid)0000-0001-6506-074X

(1)

Dwivedi, Yogesh K. editor.

(1)

Ekárt, Anikó. editor.

(1)

England, Matthew. editor. (orcid)0000-0001-5729-3420

(1)

Farach-Colton, Martín. editor. (orcid)0000-0003-3616-7788

(1)

Fioravanti, Fabio. editor. (orcid)0000-0002-1268-7829

(1)

Fischer, Bernd. editor. (orcid)0000-0002-1815-218X

(1)

Gagie, Travis. editor. (orcid)0000-0003-3689-327X

(1)

Gallardo, María del Mar. editor.

(1)

Gao, Hong. editor.

(1)

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

(1)

Gerdt, Vladimir P. editor.

(1)

Gheorghe, Marian. editor.

(1)

Goswami, Partha P. editor.

(1)

Graciani, Carmen. editor.

(1)

Guttmann, Walter. editor. (orcid)0000-0003-2969-1688

(1)

Hamann, Heiko. editor.

(1)

Heckel, Reiko. editor.

(1)

Heggernes, Pinar. editor.

(1)

Heras, Dora B. editor.

(1)

Hinze, Thomas. editor.

(1)

Hoang, Thai Son. editor.

(1)

Horvath, Andras. editor. (orcid)0000-0002-8210-545X

(1)

Hoshi, Mizuho. editor.

(1)

Jansen, David N. editor. (orcid)0000-0002-6636-3301

(1)

Janssen, Marijn. editor.

(1)

Jaroš, Jiří. editor. (orcid)0000-0002-0087-8804

(1)

Jeannot, Emmanuel. editor.

(1)

Johnsen, Einar Broch. editor.

(1)

Jones, Cliff. editor.

(1)

Joosten, Stef. editor. (orcid)0000-0001-8308-0189

(1)

Kauers, Manuel. editor.

(1)

Kecskemeti, Gabor. editor.

(1)

Keyes, David. editor.

(1)

Kim, Donghyun. editor.

(1)

Klein, Shmuel Tomi. editor. (orcid)0000-0002-9478-3303

(1)

Klusáček, Dalibor. editor.

(1)

Kobele, Greg. editor.

(1)

Koch, Dirk. editor.

(1)

Korošec, Peter. editor.

(1)

Kozubek, Tomáš. editor.

(1)

Kutrib, Martin. editor.

(1)

Köhler, Ekkehard. editor.

(1)

Labahn, George. editor.

(1)

Lambers, Leen. editor. (orcid)0000-0001-6937-5167

(1)

Lankes, Stefan. editor.

(1)

Legrand, Pierrick. editor.

(1)

Li, Wei Wayne. editor.

(1)

Liapis, Antonios. editor.

(1)

Lirkov, Ivan. editor.

(1)

Lu, Pinyan. editor.

(1)

Lukáš, Dalibor. editor.

(1)

Lutton, Evelyne. editor.

(1)

Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017

(1)

Mahboubi, Assia. editor.

(1)

Manea, Florin. editor.

(1)

Margenov, Svetozar. editor.

(1)

Martinez, Maricarmen. editor.

(1)

McIver, Annabelle. editor. (orcid)0000-0002-2405-9838

(1)

Meer, Klaus. editor.

(1)

Melab, Nouredine. editor.

(1)

Mencagli, Gabriele. editor.

(1)

Merino, Pedro. editor.

(1)

Miller, Russell G. editor.

(1)

Moffat, Alistair. editor. (orcid)0000-0002-6638-0232

(1)

Monmarché, Nicolas. editor.

(1)

Monsuez, Bruno. editor.

(1)

Morin, Christine. editor.

(1)

Moss, Lawrence S. editor.

(1)

Mosteiro, Miguel A. editor. (orcid)0000-0001-5842-6256

(1)

Moughrabi, Issam. editor.

(1)

Muskens, Reinhard. editor.

(1)

Mäntymäki, Matti. editor. (orcid)0000-0002-1981-566X

(1)

Navarro, Gonzalo. editor. (orcid)0000-0002-2286-741X

(1)

Nerode, Anil. editor.

(1)

Nowotka, Dirk. editor.

(1)

Ostercamp, Scott. editor.

(1)

Owens, Scott. editor.

(1)

Padovani, Luca. editor. (orcid)0000-0001-9097-1297

(1)

Palsberg, Jens. editor.

(1)

Panda, B.S. editor.

(1)

Paolo, Bientinesi. editor.

(1)

Parrend, Pierre. editor.

(1)

Petrenko, Alexander K. editor. (orcid)0000-0001-7411-3831

(1)

Phung-Duc, Tuan. editor. (orcid)0000-0002-5002-4946

(1)

Pionteck, Thilo. editor.

(1)

Pond, Geoffrey. editor. (orcid)0000-0001-5069-0845

(1)

Pop, Florin. editor.

(1)

Potapov, Igor. editor.

(1)

Potop-Butucaru, Maria. editor.

(1)

Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234

(1)

Păun, Gheorghe. editor.

(1)

Rahman, M. Sohel. editor. (orcid)0000-0001-9419-6478

(1)

Rana, Nripendra P. editor.

(1)

Raschke, Alexander. editor.

(1)

Reichl, Klaus. editor.

(1)

Reina, Andreagiovanni. editor. (orcid)0000-0003-4745-992X

(1)

Reynier, Pierre-Alain. editor.

(1)

Riscos-Núñez, Agustín. editor.

(1)

Romero Cardalda, Juan Jesús. editor.

(1)

Russo, Alessandra. editor. (orcid)0000-0002-3318-8711

(1)

Rusu, Vlad. editor.

(1)

Sadykov, Timur M. editor. (orcid)0000-0003-0741-2318

(1)

Sahuquillo, Julio. editor.

(1)

Sakellariou, Rizos. editor.

(1)

Scarano, Vittorio. editor.

(1)

Schaefer, Ina. editor.

(1)

Schmidt, Kai-Uwe. editor.

(1)

Schoenauer, Marc. editor.

(1)

Schulz, Martin. editor.

(1)

Schürr, Andy. editor. (orcid)0000-0001-8100-1109

(1)

Scott, Stephen L. editor.

(1)

Sekanina, Lukas. editor. (orcid)0000-0002-2693-9011

(1)

Language

(99)

Publication Date

-

(87)

(8)

(4)

Subject

Artificial intelligence.

(57)

Software engineering.

(55)

(36)

Computer software.

(34)

Computer network architectures.

(28)

Electronic data processing.

(13)

Computer vision.

(12)

Data structures (Computer scienc.

(12)

Information theory.

(12)

Computational complexity.

(10)

(10)

(9)

Computer Communication Networks.

(9)

Computer industry.

(9)

Computer system performance.

(9)

Optical pattern recognition.

(7)

Computer graphics.

(6)

Computer simulation.

(5)

Management information systems.

(5)

Operating systems (Computers).

(5)

Computer science—Mathematics.

(4)

Computer security.

(3)

Information storage and retrieval systems.

(3)

Natural language processing (Computer science).

(3)

Social sciences -- Data processing.

(3)

(2)

Computer hardware.

(2)

Computer organization.

(2)

Data transmission systems.

(2)

Information systems.

(2)

Application software.

(1)

Computational linguistics.

(1)

Computer communication systems.

(1)

Computer science -- Mathematics.

(1)

Computer system failures.

(1)

Computers -- Law and legislation.

(1)

(1)

Data encryption (Computer science).

(1)

Database management.

(1)

(1)

Information Systems.

(1)

Mathematical logic.

(1)

Programming languages (Electronic 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

99 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 Frontiers in Algorithmics 12th International Workshop, FAW 2018, Guangzhou, China, May 8–10, 2018, Proceedings

Frontiers in Algorithmics 12th International Workshop, FAW 2018, Guangzhou, China, May 8–10, 2018, Proceedings

Frontiers in Algorithmics 12th International Workshop, FAW 2018, Guangzhou, China, May 8–10, 2018, Proceedings

Author

Chen, Jianer. editor. Lu, Pinyan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Formal Grammar 2018 23rd International Conference, FG 2018, Sofia, Bulgaria, August 11-12, 2018, Proceedings

Formal Grammar 2018 23rd International Conference, FG 2018, Sofia, Bulgaria, August 11-12, 2018, Proceedings

Formal Grammar 2018 23rd International Conference, FG 2018, Sofia, Bulgaria, August 11-12, 2018, Proceedings

Author

Foret, Annie. editor. Kobele, Greg. editor. Pogodalla, Sylvain. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-57784-4

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Swarm Intelligence 11th International Conference, ANTS 2018, Rome, Italy, October 29–31, 2018, Proceedings

Swarm Intelligence 11th International Conference, ANTS 2018, Rome, Italy, October 29–31, 2018, Proceedings

Swarm Intelligence 11th International Conference, ANTS 2018, Rome, Italy, October 29–31, 2018, Proceedings

Author

Dorigo, Marco. editor. (orcid)0000-0002-3971-0507 Birattari, Mauro. editor. (orcid)0000-0003-3309-2194 Blum, Christian. editor. (orcid)0000-0002-1736-3559 Christensen, Anders L. editor. (orcid)0000-0002-9994-2908 Reina, Andreagiovanni. editor. (orcid)0000-0003-4745-992X

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

Author

Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV

Author

Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-03427-6

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III

Author

Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Sailing Routes in the World of Computation 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018, Proceedings

Sailing Routes in the World of Computation 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018, Proceedings

Sailing Routes in the World of Computation 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018, Proceedings

Author

Manea, Florin. editor. Miller, Russell G. editor. Nowotka, Dirk. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-94418-0

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

Author

Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Developments in Language Theory 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings

Developments in Language Theory 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings

Developments in Language Theory 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings

Author

Hoshi, Mizuho. editor. Seki, Shinnosuke. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Algorithms and Discrete Applied Mathematics 4th International Conference, CALDAM 2018, Guwahati, India, February 15-17, 2018, Proceedings

Algorithms and Discrete Applied Mathematics 4th International Conference, CALDAM 2018, Guwahati, India, February 15-17, 2018, Proceedings

Algorithms and Discrete Applied Mathematics 4th International Conference, CALDAM 2018, Guwahati, India, February 15-17, 2018, Proceedings

Author

Panda, B.S. editor. Goswami, Partha P. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-74180-2

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Reachability Problems 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings

Reachability Problems 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings

Reachability Problems 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings

Author

Potapov, Igor. editor. Reynier, Pierre-Alain. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Graph-Theoretic Concepts in Computer Science 44th International Workshop, WG 2018, Cottbus, Germany, June 27–29, 2018, Proceedings

Graph-Theoretic Concepts in Computer Science 44th International Workshop, WG 2018, Cottbus, Germany, June 27–29, 2018, Proceedings

Graph-Theoretic Concepts in Computer Science 44th International Workshop, WG 2018, Cottbus, Germany, June 27–29, 2018, Proceedings

Author

Brandstädt, Andreas. editor. Köhler, Ekkehard. editor. Meer, Klaus. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

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