Search Results for Engineering.

|

|

|

|

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:

+

Publication Date: 2018

+

Subject: Logic design.

+

Subject: Software engineering.

Author

SpringerLink (Online service)

(62)

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

(2)

Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121

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

Gallina, Barbara. editor. (orcid)0000-0002-6952-1053

(2)

Huisman, Marieke. editor.

(2)

Karczewski, Konrad. editor.

(2)

Skavhaug, Amund. editor.

(2)

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

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

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

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

Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601

(1)

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

(1)

Bensalem, Saddek. editor.

(1)

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

(1)

Boiten, Eerke. author.

(1)

Bougé, Luc. editor.

(1)

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

(1)

Cai, Zhipeng. editor.

(1)

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

(1)

Casimiro, António. editor. (orcid)0000-0002-5522-5739

(1)

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

(1)

Cirne, Walfredo. editor.

(1)

Colombo, Christian. editor.

(1)

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

(1)

Derrick, John. author.

(1)

Desai, Narayan. editor.

(1)

Dillig, Isil. editor.

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

Falcone, Yliès. editor.

(1)

Feng, Xinyu. editor.

(1)

Ferreira, Pedro M. editor. (orcid)0000-0003-2369-0115

(1)

Fill, Hans-Georg. editor.

(1)

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

(1)

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

(1)

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

(1)

Gallardo, María del Mar. editor.

(1)

Galmiche, Didier. editor.

(1)

Gerdt, Vladimir P. editor.

(1)

Gheorghe, Marian. editor.

(1)

Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917

(1)

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

(1)

Hamlen, Kevin. editor.

(1)

Hammond, Simon. editor.

(1)

Hammoudi, Slimane. editor.

(1)

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

(1)

Heras, Dora B. editor.

(1)

Hierons, Robert. editor.

(1)

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

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

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

(1)

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

(1)

Khomenko, Victor. editor.

(1)

Klusáček, Dalibor. editor.

(1)

Koepf, Wolfram. editor.

(1)

Kuznetsov, Petr. editor.

(1)

Labarta, Jesus. 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, Jin. editor.

(1)

Liu, Shaoying. editor.

(1)

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

(1)

Mahboubi, Assia. editor.

(1)

Martorell, Xavier. editor.

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

Mencagli, Gabriele. editor.

(1)

Merayo, Mercedes G. editor.

(1)

Merino, Pedro. 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)

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

(1)

Ober, Iulian. editor.

(1)

Palsberg, Jens. editor.

(1)

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

(1)

Pires, Luís Ferreira. editor.

(1)

Piskac, Ruzica. editor.

(1)

Podelski, Andreas. editor.

(1)

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

(1)

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

(1)

Ricci, Laura. 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)

Schoitsch, Erwin. editor. (orcid)0000-0002-0335-5443

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

Selic, Bran. editor.

(1)

Skums, Pavel. editor.

(1)

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

(1)

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

(1)

Spivakovsky, Aleksander. editor. (orcid)0000-0001-7574-4133

(1)

Steinwandt, Rainer. editor.

(1)

Stepney, Susan. editor. (orcid)0000-0003-3146-5401

(1)

Stevens, Perdita. editor. (orcid)0000-0002-3975-7612

(1)

Sun, Jing. editor.

(1)

Sun, Meng. editor.

(1)

Tian, Cong. editor.

(1)

Ulidowski, Irek. editor.

(1)

Uustalu, Tarmo. editor. (orcid)0000-0002-1297-0579

(1)

Vaidya, Jaideep. editor.

(1)

Valero-Lara, Pedro. editor. (orcid)0000-0002-1479-4310

(1)

Voronkov, Andrei. editor.

(1)

Vorozhtsov, Evgenii V. editor.

(1)

Wang, Chao. editor.

(1)

Weidendorfer, Josef. editor.

(1)

Wolff, Burkhart. editor.

(1)

Wright, Steven. editor.

(1)

Wu, Junjie. editor. (orcid)0000-0001-5951-8988

(1)

Yakovyna, Vitaliy. editor. (orcid)0000-0003-0133-8591

(1)

Yang, Zijiang. editor.

(1)

Zandron, Claudio. editor.

(1)

Zhang, Fa. editor.

(1)

Zhang, Shihua. editor.

(1)

Zhang, Zili. editor.

(1)

Zholtkevych, Grygoriy. editor. (orcid)0000-0002-7515-2143

(1)

Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656

(1)

de Supinski, Bronis R. editor.

(1)

Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721

(1)

Češka, Milan. editor. (orcid)0000-0002-0300-9727

(1)

Šafránek, David. editor.

(1)

Language

(62)

Subject

Computer science.

(47)

Artificial intelligence.

(24)

Computer network architectures.

(17)

Computer software.

(16)

Computer system performance.

(15)

Computer industry.

(10)

Computer Communication Networks.

(8)

Computer simulation.

(6)

Operating systems (Computers).

(6)

Computer hardware.

(4)

Computer security.

(4)

Data encryption (Computer science).

(3)

Data structures (Computer scienc.

(3)

Bioinformatics.

(2)

Computational complexity.

(2)

Information Systems.

(2)

(1)

Database management.

(1)

(1)

Electronic data processing.

(1)

Information theory.

(1)

Memory management (Computer scie.

(1)

Microprogramming.

(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

62 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.

49.

Cover image for Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I

Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I

Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I

Author

Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Dongarra, Jack. editor. (orcid)0000-0003-3247-1782 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Karczewski, Konrad. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

50.

Cover image for Membrane Computing 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers

Membrane Computing 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers

Membrane Computing 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers

Author

Gheorghe, Marian. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Zandron, Claudio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

51.

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:

52.

Cover image for Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings

Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings

Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings

Author

Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481 Bensalem, Saddek. editor. Bliudze, Simon. editor. (orcid)0000-0002-7900-5271 Monsuez, Bruno. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

53.

Cover image for Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Author

Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

54.

Cover image for Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings

Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings

Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings

Author

Durand-Lose, Jérôme. editor. (orcid)0000-0001-6506-074X Verlan, Sergey. editor. (orcid)0000-0001-7800-1618 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

55.

Cover image for Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings

Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings

Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings

Author

McIver, Annabelle. editor. (orcid)0000-0002-2405-9838 Horvath, Andras. editor. (orcid)0000-0002-8210-545X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

56.

Cover image for Topics in Cryptology – CT-RSA 2018 The Cryptographers' Track at the RSA Conference 2018, San Francisco, CA, USA, April 16-20, 2018, Proceedings

Topics in Cryptology – CT-RSA 2018 The Cryptographers' Track at the RSA Conference 2018, San Francisco, CA, USA, April 16-20, 2018, Proceedings

Topics in Cryptology – CT-RSA 2018 The Cryptographers' Track at the RSA Conference 2018, San Francisco, CA, USA, April 16-20, 2018, Proceedings

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

57.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

Author

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

58.

Cover image for Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

Author

Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

59.

Cover image for Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings

Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings

Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings

Author

Khomenko, Victor. editor. Roux, Olivier H. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-91268-4

Format:

Availability

Online Library~1

Available:
Copies:

60.

Cover image for Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings

Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings

Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings

Author

Gallardo, María del Mar. editor. Merino, Pedro. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-94111-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