Search Results for Computer science.

|

|

|

|

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:

+

Language: English

+

Publication Date: 2018

+

Subject: Logic design.

Author

SpringerLink (Online service)

(95)

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

(5)

Fu, Haohuan. editor.

(3)

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

(3)

Lees, Michael Harold. editor.

(3)

Shi, Yong. editor.

(3)

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

(3)

Tian, Yingjie. editor.

(3)

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

(3)

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)

Huisman, Marieke. editor.

(2)

Karczewski, Konrad. editor.

(2)

Li, Jin. editor.

(2)

Vaidya, Jaideep. editor.

(2)

Verlan, Sergey. editor. (orcid)0000-0001-7800-1618

(2)

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

(2)

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

(2)

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

(2)

Abreu, Salvador. editor. (orcid)0000-0002-1613-4631

(1)

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

(1)

Alcaraz, Cristina. editor. (orcid)0000-0003-0545-3191

(1)

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

(1)

Artemov, Sergei. editor.

(1)

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

(1)

Avigad, Jeremy. editor.

(1)

Badia, Rosa M. editor.

(1)

Bae, Kyungmin. editor. (orcid)0000-0002-6430-5175

(1)

Baier, Christel. editor. (orcid)0000-0002-5321-9343

(1)

Barbosa, Jorge G. editor.

(1)

Bassiliades, Nick. editor. (orcid)0000-0001-6035-1038

(1)

Bellodi, Elena. editor. (orcid)0000-0002-3717-3779

(1)

Bensalem, Saddek. editor.

(1)

Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060

(1)

Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093

(1)

Berekovic, Mladen. editor.

(1)

Bi, Yuanguo. editor.

(1)

Black, Elizabeth. editor. (orcid)0000-0002-4295-449X

(1)

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

(1)

Bougé, Luc. editor.

(1)

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

(1)

Buchty, Rainer. editor.

(1)

Butler, Michael. editor.

(1)

Cai, Zhipeng. editor.

(1)

Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834

(1)

Casanovas, Pompeu. editor. (orcid)0000-0002-0980-2371

(1)

Catthoor, Francky. author.

(1)

Cerone, Antonio. editor. (orcid)0000-0003-2691-5279

(1)

Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428

(1)

Chen, Gang. editor.

(1)

Chen, Liqun. editor. (orcid)0000-0003-2680-4907

(1)

Cirne, Walfredo. editor.

(1)

Ciucci, Davide. editor. (orcid)0000-0002-8083-7809

(1)

Colombo, Christian. editor.

(1)

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

(1)

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

(1)

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

(1)

Damiani, Ernesto. editor. (orcid)0000-0002-9557-6496

(1)

Das, Anup Kumar. author.

(1)

Deng, Qingxu. editor.

(1)

Desai, Narayan. editor.

(1)

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

(1)

Dietz, Hendrik. editor.

(1)

Dillig, Isil. editor.

(1)

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

(1)

Duan, Zhenhua. editor.

(1)

Dubois, Catherine. editor.

(1)

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

(1)

Ermolayev, Vadim. editor. (orcid)0000-0002-5159-254X

(1)

Feng, Xinyu. editor.

(1)

Fill, Hans-Georg. editor.

(1)

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

(1)

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

(1)

Fomin, Fedor V. editor.

(1)

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

(1)

Gallardo, María del Mar. editor.

(1)

Galmiche, Didier. editor.

(1)

Gavrilova, Marina L. editor.

(1)

Gerdt, Vladimir P. editor.

(1)

Gheorghe, Marian. editor.

(1)

Gorentla Venkata, Manjunath. editor. (orcid)0000-0002-5282-1682

(1)

Grosky, William I. editor.

(1)

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

(1)

Hamann, Heiko. editor.

(1)

Hameurlain, Abdelkader. editor.

(1)

Hamlen, Kevin. editor.

(1)

Hammond, Simon. editor.

(1)

Hammoudi, Slimane. editor.

(1)

Hanus, Michael. editor. (orcid)0000-0002-4953-8202

(1)

Hariyama, Masanori. author.

(1)

He, Kun. editor.

(1)

Heras, Dora B. editor.

(1)

Hierons, Robert. editor.

(1)

Hoang, Thai Son. editor.

(1)

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

(1)

Hoshi, Mizuho. editor.

(1)

Imam, Neena. editor. (orcid)0000-0001-8860-4738

(1)

Izumi, Taisuke. editor.

(1)

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

(1)

Jarvis, Stephen. editor.

(1)

Jeannot, Emmanuel. editor.

(1)

Jin, Hai. editor.

(1)

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

(1)

Juckeland, Guido. editor.

(1)

Kari, Jarkko. editor. (orcid)0000-0003-0670-6138

(1)

Kasahara, Hironori. editor.

(1)

Katsikas, Sokratis K. editor. (orcid)0000-0003-2966-9683

(1)

Keyes, David. editor.

(1)

Khomenko, Victor. editor.

(1)

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

(1)

Klusáček, Dalibor. editor.

(1)

Koch, Dirk. editor.

(1)

Koepf, Wolfram. editor.

(1)

Konstantinidis, Stavros. editor.

(1)

Kumar, Akash. author.

(1)

Kuznetsov, Petr. editor.

(1)

Labarta, Jesus. editor.

(1)

Lachiche, Nicolas. editor.

(1)

Lahiri, Shuvendu K. editor.

(1)

Lange, Tanja. editor.

(1)

Lankes, Stefan. editor.

(1)

Leone, Nicola. editor.

(1)

Leucker, Martin. editor.

(1)

Li, Chao. editor.

(1)

Li, Lian. editor.

(1)

Liu, Shaoying. editor.

(1)

Liu, Zhiming. editor. (orcid)0000-0001-9771-3071

(1)

Lu, Pinyan. editor.

(1)

Mahboubi, Assia. editor.

(1)

Manulis, Mark. editor. (orcid)0000-0002-1512-9670

(1)

Martorell, Xavier. editor.

(1)

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

(1)

Massoni, Tiago. editor. (orcid)0000-0002-9423-7556

(1)

Mateo Bellido, Sergi. editor.

(1)

Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091

(1)

Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948

(1)

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

(1)

Medina-Bulo, Inmaculada. editor.

(1)

Mehta, Ashok B. author.

(1)

Melikyan, Vazgen. author.

(1)

Mencagli, Gabriele. editor.

(1)

Merayo, Mercedes G. editor.

(1)

Merino, Pedro. editor.

(1)

Modgil, Sanjay. editor.

(1)

Monsuez, Bruno. editor.

(1)

Mousavi, Mohammad Reza. editor. (orcid)0000-0002-4869-6794

(1)

Müller-Olm, Markus. editor.

(1)

Nagoya, Fumiko. editor.

(1)

Nerode, Anil. editor.

(1)

Nikitchenko, Mykola. editor. (orcid)0000-0002-4078-1062

(1)

Ober, Iulian. editor.

(1)

Oren, Nir. editor.

(1)

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

(1)

Pagallo, Ugo. editor. (orcid)0000-0001-7981-8849

(1)

Palmirani, Monica. editor. (orcid)0000-0002-8557-8084

(1)

Palsberg, Jens. editor.

(1)

Parent, Xavier. editor.

(1)

Pasi, Gabriella. editor. (orcid)0000-0002-6080-8170

(1)

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

(1)

Pighizzini, Giovanni. editor.

(1)

Pionteck, Thilo. editor.

(1)

Pires, Luís Ferreira. editor.

(1)

Piskac, Ruzica. editor.

(1)

Podelski, Andreas. editor.

(1)

Podolskii, Vladimir V. editor.

(1)

Pophale, Swaroop. editor. (orcid)0000-0001-8544-6367

(1)

Potapov, Igor. editor.

(1)

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

(1)

Qiu, Meikang. editor. (orcid)0000-0002-1004-0140

(1)

Raschke, Alexander. editor.

(1)

Reichl, Klaus. editor.

(1)

Reynier, Pierre-Alain. editor.

(1)

Ricca, Francesco. editor.

(1)

Ricci, Laura. editor.

(1)

Riguzzi, Fabrizio. editor. (orcid)0000-0003-1654-9703

(1)

Roman, Dumitru. editor.

(1)

Roux, Olivier H. editor.

(1)

Roveri, Marco. editor. (orcid)0000-0001-9483-3940

(1)

Rozenberg, Grzegorz. editor.

(1)

Rusu, Vlad. editor.

(1)

Rümmer, Philipp. editor. (orcid)0000-0002-2733-7098

(1)

Sakellariou, Rizos. editor.

(1)

Salaün, Gwen. editor.

(1)

Salomaa, Arto. editor.

(1)

Sartor, Giovanni. editor. (orcid)0000-0003-2210-0398

(1)

Schneider, Steve. editor. (orcid)0000-0001-8365-6993

(1)

Schulz, Stephan. editor.

(1)

Scott, Stephen L. editor.

(1)

Sebastiani, Roberto. editor.

(1)

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

(1)

Seipel, Dietmar. editor.

(1)

Seki, Shinnosuke. editor.

(1)

Selic, Bran. editor.

(1)

Shalf, John. editor.

(1)

Shapira, Dana. editor. (orcid)0000-0002-2320-9064

(1)

Skums, Pavel. editor.

(1)

Smart, Nigel P. editor. (orcid)0000-0003-3567-3304

(1)

Snir, Marc. editor.

(1)

Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918

(1)

Subject

Computer science.

(77)

Software engineering.

(56)

Artificial intelligence.

(48)

Computer network architectures.

(29)

Computer software.

(21)

Computer system performance.

(15)

Operating systems (Computers).

(15)

Computer Communication Networks.

(9)

Computer industry.

(9)

Computer security.

(7)

Data structures (Computer scienc.

(7)

Computer simulation.

(6)

Information systems.

(5)

Information theory.

(5)

Computational complexity.

(4)

Computer vision.

(4)

Electronic data processing.

(4)

Systems engineering.

(4)

Data encryption (Computer science).

(3)

Information storage and retrieval systems.

(3)

Social sciences -- Data processing.

(3)

Bioinformatics.

(2)

(2)

Computer hardware.

(2)

Data protection.

(2)

Data transmission systems.

(2)

(1)

Database management.

(1)

(1)

Information Systems.

(1)

Logic, Symbolic and mathematical.

(1)

Memory management (Computer scie.

(1)

Natural language processing (Computer science).

(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

95 Results Found

Subscribe to search results

1 .. 4 5 6 7 8

00000000000DEFAULT

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.

85.

Cover image for Reversible Computation 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings

Reversible Computation 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings

Reversible Computation 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings

Author

Kari, Jarkko. editor. (orcid)0000-0003-0670-6138 Ulidowski, Irek. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

86.

Cover image for Rules and Reasoning Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings

Rules and Reasoning Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings

Rules and Reasoning Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings

Author

Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Ricca, Francesco. editor. Parent, Xavier. editor. Roman, Dumitru. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

87.

Cover image for Scalable Uncertainty Management 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings

Scalable Uncertainty Management 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings

Scalable Uncertainty Management 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings

Author

Ciucci, Davide. editor. (orcid)0000-0002-8083-7809 Pasi, Gabriella. editor. (orcid)0000-0002-6080-8170 Vantaggi, Barbara. editor. (orcid)0000-0002-3651-3743 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

88.

Cover image for Declarative Programming and Knowledge Management Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers

Declarative Programming and Knowledge Management Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers

Declarative Programming and Knowledge Management Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers

Author

Seipel, Dietmar. editor. Hanus, Michael. editor. (orcid)0000-0002-4953-8202 Abreu, Salvador. editor. (orcid)0000-0002-1613-4631 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

89.

Cover image for Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings

Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings

Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings

Author

Bae, Kyungmin. editor. (orcid)0000-0002-6430-5175 Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

90.

Cover image for Security and Trust Management 14th International Workshop, STM 2018, Barcelona, Spain, September 6–7, 2018, Proceedings

Security and Trust Management 14th International Workshop, STM 2018, Barcelona, Spain, September 6–7, 2018, Proceedings

Security and Trust Management 14th International Workshop, STM 2018, Barcelona, Spain, September 6–7, 2018, Proceedings

Author

Katsikas, Sokratis K. editor. (orcid)0000-0003-2966-9683 Alcaraz, Cristina. editor. (orcid)0000-0003-0545-3191 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

91.

Cover image for Runtime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings

Runtime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings

Runtime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings

Author

Colombo, Christian. editor. Leucker, Martin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

92.

Cover image for Practical Aspects of Declarative Languages 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings

Practical Aspects of Declarative Languages 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings

Practical Aspects of Declarative Languages 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings

Author

Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834 Hamlen, Kevin. editor. Leone, Nicola. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

93.

Cover image for ASIC/SoC Functional Design Verification A Comprehensive Guide to Technologies and Methodologies

ASIC/SoC Functional Design Verification A Comprehensive Guide to Technologies and Methodologies

ASIC/SoC Functional Design Verification A Comprehensive Guide to Technologies and Methodologies

Author

Mehta, Ashok B. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

94.

Cover image for Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers

Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers

Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers

Author

Cerone, Antonio. editor. (orcid)0000-0003-2691-5279 Roveri, Marco. editor. (orcid)0000-0001-9483-3940 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-74781-1

Format:

Availability

Online Library~1

Available:
Copies:

95.

Cover image for Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

Author

Galmiche, Didier. editor. Schulz, Stephan. editor. Sebastiani, Roberto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-94205-6

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 .. 4 5 6 7 8

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11