Search Results for Software 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:

+

Subject: Operating systems (Computers).

Author

SpringerLink (Online service)

(300)

Boer, Frank S. editor.

(9)

Bonsangue, Marcello M. editor.

(9)

Yang, Laurence T. editor.

(7)

Guo, Minyi. editor.

(6)

Romanovsky, Alexander. editor.

(6)

Lemos, Rogério. editor.

(5)

Barthès, Jean-Paul A. editor.

(4)

Gacek, Cristina. editor.

(4)

Graf, Susanne. editor.

(4)

Hochberger, Christian. editor.

(4)

Luo, Yuhua. editor.

(4)

Roever, Willem-Paul. editor.

(4)

Barthe, Gilles. editor.

(3)

Brinkschulte, Uwe. editor.

(3)

Brueckner, Sven A. editor.

(3)

Cao, Jiannong. editor.

(3)

Cristea, Ana Daniela. author.

(3)

Frachtenberg, Eitan. editor.

(3)

Gellert, Ulrich. author.

(3)

Jeannot, Emmanuel. editor.

(3)

Jin, Hai. editor.

(3)

Lin, Zongkai. editor.

(3)

Malyshkin, Victor. editor.

(3)

Schwiegelshohn, Uwe. editor.

(3)

Shen, Weiming. editor.

(3)

Weitershausen, Philipp. author.

(3)

Alex, Wulf. author.

(2)

Beigl, Michael. editor.

(2)

Berekovic, Mladen. editor.

(2)

Braun, Torsten. editor.

(2)

Butler, Michael. editor.

(2)

Carle, Georg. editor.

(2)

Cirne, Walfredo. editor.

(2)

Cohen, Albert. editor.

(2)

Craig, Iain D. author.

(2)

Damiani, Ernesto. editor.

(2)

Desai, Narayan. editor.

(2)

Dongarra, Jack. editor.

(2)

Eliassen, Frank. editor.

(2)

Gunther, Neil J. author.

(2)

Higashino, Teruo. editor.

(2)

Huanye, Sheng. editor.

(2)

Huisman, Marieke. editor.

(2)

Jajodia, Sushil. editor.

(2)

Jones, Cliff B. editor.

(2)

Kacsuk, Péter. editor.

(2)

Kim, Tai-hoon. editor.

(2)

Koucheryavy, Yevgeni. editor.

(2)

Lanet, Jean-Louis. editor.

(2)

Lukowicz, Paul. editor.

(2)

Luo, Junzhou. editor.

(2)

Mambretti, Joe. editor.

(2)

Margaria, Tiziana. editor.

(2)

Marzo Serugendo, Giovanna. editor.

(2)

Meyer, Bertrand. editor.

(2)

Müller-Schloer, Christian. editor.

(2)

Namyst, Raymond. editor.

(2)

Nicola, Rocco. editor.

(2)

Németh, Zsolt. editor.

(2)

Pahl, Claus. editor.

(2)

Reussner, Ralf. editor.

(2)

Roman, Jean. editor.

(2)

Sick, Bernhard. editor.

(2)

Sloot, Peter M. A. editor.

(2)

Steffen, Bernhard. editor.

(2)

Stiller, Burkhard. editor.

(2)

Szyperski, Clemens. editor.

(2)

Troubitsyna, Elena. editor.

(2)

Ungerer, Theo. editor.

(2)

Vohra, Deepak. author.

(2)

Waldburger, Martin. editor.

(2)

Wolfinger, Christine. author.

(2)

Wu, Zhaohui. editor.

(2)

Yung, Moti. editor.

(2)

Ślęzak, Dominik. editor.

(2)

Abeni, Luca. author.

(1)

Abrahão, Silvia. editor.

(1)

Achilles, Albrecht. author.

(1)

Aderholdt, Ferrol. editor. (orcid)0000-0002-4208-6493

(1)

Ahuja, Ravindra K. editor.

(1)

Aichernig, Bernhard K. editor.

(1)

Al-Begain, Khalid. editor.

(1)

(1)

Ali, A.B.M. Shawkat. editor.

(1)

Alonistioti, Nancy. editor.

(1)

Alonso, Gustavo. editor.

(1)

Altman, Eitan. editor.

(1)

Altman, Erik. editor.

(1)

Anderson, James H. editor.

(1)

Andrade, Aline Maria Santos. editor.

(1)

Artikis, Alexander. editor.

(1)

Assis Silva, Flávio Morais. editor.

(1)

Atencio Psille, Daniel E. author.

(1)

Atkinson, Colin. editor.

(1)

Avgeriou, Paris. editor.

(1)

Azevedo, Américo. editor.

(1)

Backes, Michael. editor.

(1)

Bacon, Jean M. editor.

(1)

Badger, Julia M. editor.

(1)

Badia, Rosa M. editor.

(1)

Badonnel, Rémi. editor.

(1)

Badrinath, Ramamurthy. editor.

(1)

Baier, Christel. editor.

(1)

Balsamo, Simonetta. editor.

(1)

Barbosa, Jorge G. editor.

(1)

Baresi, Luciano. editor.

(1)

Barnes, John. author.

(1)

Bartolini, Novella. editor.

(1)

Beckert, Bernhard. editor.

(1)

Beek, Maurice. editor.

(1)

Bellavista, Paolo. editor.

(1)

Bellini, Roberto. editor.

(1)

Ben-Ari, Mordechai. author.

(1)

Benantar, Messaoud. author.

(1)

Bensalem, Saddek. editor.

(1)

Bloem, Roderick. editor.

(1)

Bloomfield, Robin. editor.

(1)

Bobaru, Mihaela. editor.

(1)

Bonomi, Silvia. editor.

(1)

Bosschere, Koen. editor.

(1)

Bougé, Luc. editor.

(1)

Bourgeois, Julien. editor.

(1)

Boursas, Latifa. editor.

(1)

Bouyssounouse, Bruno. author.

(1)

Brabazon, Anthony. editor.

(1)

Brat, Guillaume. editor.

(1)

Brooke, Phillip J. editor.

(1)

Brukardt, Randall L. editor.

(1)

Bu, Jiajun. editor.

(1)

Bubak, Marian. editor.

(1)

Bunse, Christian. editor.

(1)

Burdy, Lilian. editor.

(1)

Buttazzo, Giorgio. author.

(1)

Caccamo, Marco. author.

(1)

Caires, Luís. editor. (orcid)0000-0002-3215-6734

(1)

Calvert, Kenneth L. editor.

(1)

Campbell, Roy H. editor.

(1)

Cao, Jian-Nong. editor.

(1)

Cao, Li. author.

(1)

Cardellini, Valeria. editor.

(1)

Cardoso, Jorge. editor.

(1)

Carlson, Mark. editor.

(1)

Caro, Gianni A. editor.

(1)

Carrera, Iacopo. editor.

(1)

Castro, Miguel. editor.

(1)

Cerqueira, Renato. editor.

(1)

Chaki, Nabendu. editor.

(1)

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

(1)

Chang, Ruay-Shiung. editor.

(1)

Chao, Han-Chieh. editor.

(1)

Chao, Kuo-Ming. editor.

(1)

Chatzimisios, Periklis. editor.

(1)

Chaudron, Michel R. V. editor.

(1)

Chemuturi, Murali. author.

(1)

Chen, Chun. editor.

(1)

Chen, Daoxu. editor.

(1)

Chen, Qingfeng. author.

(1)

Chen, Xiangang. editor.

(1)

Chen, Zhangxin. editor.

(1)

Chessa, Stefano. editor.

(1)

Chi, Chi-Hung. editor.

(1)

Chio, Cecilia. editor.

(1)

Chong, Ilyoung. editor.

(1)

Choy, Oliver C. S. editor.

(1)

Chrisment, Isabelle. editor.

(1)

Chung, Yeh-Ching. editor.

(1)

Chutimaskul, Wichian. editor.

(1)

Ciardo, Gianfranco. editor.

(1)

Clark, John A. editor.

(1)

Clarke, Dave. editor.

(1)

Clarke, Edmund M. editor.

(1)

Cohen, Myra B. editor.

(1)

Colanzi, Thelma Elita. editor. (orcid)0000-0001-9761-1999

(1)

Cooper, Brian F. editor.

(1)

Cortellessa, Vittorio. author.

(1)

Cotroneo, Domenico. editor.

(1)

Couch, Alva. editor.

(1)

Czernohous, Christoph. author.

(1)

Cámara, Javier. editor.

(1)

Cérin, Christophe. editor.

(1)

Damiani, Ferruccio. editor.

(1)

Daněk, Martin. editor.

(1)

Darondeau, Philippe. editor.

(1)

Das, Nabanita. editor.

(1)

Das, Sajal K. editor.

(1)

Dearle, Alan. editor.

(1)

Deelman, Ewa. editor.

(1)

Den Haring, David. author.

(1)

Derrick, John. editor.

(1)

Di Fatta, Giuseppe. editor.

(1)

Di Marco, Antinisca. author.

(1)

Di Marzo Serugendo, Giovanna. editor. (orcid)0000-0001-5048-5251

(1)

Dico, Awel. editor.

(1)

Dillmann, Rüdiger. author.

(1)

Ding, Chen. editor.

(1)

Diniz, Pedro. editor. (orcid)0000-0003-3131-9367

(1)

Donatelli, Susanna. editor.

(1)

Dong, Jing. editor.

(1)

Dony, Christophe. editor.

(1)

Language

(286)

(14)

Publication Date

-

(52)

(46)

(31)

(30)

(29)

(25)

(23)

(20)

(18)

(18)

(5)

(3)

Subject

Software engineering.

(298)

Computer science.

(280)

Computer Communication Networks.

(156)

Information systems.

(85)

(63)

Computer network architectures.

(53)

Computer software.

(52)

Computer system performance.

(51)

Information storage and retrieval systems.

(33)

Artificial intelligence.

(23)

Information Systems.

(22)

Operating Systems.

(18)

Data encryption (Computer science).

(16)

Computer simulation.

(11)

Programming Languages, Compilers, Interpreters.

(11)

Electronic data processing.

(10)

Telecommunication.

(9)

Computational complexity.

(7)

Programming Techniques.

(7)

Data protection.

(6)

Information theory.

(6)

Software Engineering/Programming and Operating Systems.

(6)

Computer aided design.

(5)

Logics and Meanings of Programs.

(5)

Computer hardware.

(4)

Computer security.

(4)

Data structures (Computer science).

(4)

(4)

Multimedia systems.

(4)

Performance and Reliability.

(4)

Programming languages (Electronic computers).

(4)

System Performance and Evaluation.

(4)

(4)

Algorithm Analysis and Problem Complexity.

(3)

Architecture, Computer.

(3)

Information Systems Applications (incl. Internet).

(3)

Special Purpose and Application-Based Systems.

(3)

(2)

Computer System Implementation.

(2)

Computer communication systems.

(2)

Computer engineering.

(2)

(2)

Database management.

(2)

Management information systems.

(2)

Microprocessors.

(2)

Numeric Computing.

(2)

Simulation and Modeling.

(2)

(1)

Bioinformatics.

(1)

Biology -- Data processing.

(1)

(1)

Computation by Abstract Devices.

(1)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(1)

Computer Systems Organization and Communication Networks.

(1)

Computer industry.

(1)

Computer programming.

(1)

Computer vision.

(1)

Data Encryption.

(1)

Data transmission systems.

(1)

(1)

Engineering economy.

(1)

Engineering, general.

(1)

History of Computing.

(1)

Information Storage and Retrieval.

(1)

Information Systems and Communication Service.

(1)

Logic, Symbolic and mathematical.

(1)

Microprogramming.

(1)

Monoclonal antibodies.

(1)

Optical pattern recognition.

(1)

Processor Architectures.

(1)

Special purpose computers.

(1)

Systems and Data Security.

(1)

Systems engineering.

(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

300 Results Found

Subscribe to search results

1 2 3 4 5 6 .. 25

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 Advanced Computer Architecture 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings

Advanced Computer Architecture 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings

Advanced Computer Architecture 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings

Author

Li, Chao. editor. Wu, Junjie. editor. (orcid)0000-0001-5951-8988 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-13-2423-9

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Cloud Computing and Service Science 7th International Conference, CLOSER 2017, Porto, Portugal, April 24–26, 2017, Revised Selected Papers

Cloud Computing and Service Science 7th International Conference, CLOSER 2017, Porto, Portugal, April 24–26, 2017, Revised Selected Papers

Cloud Computing and Service Science 7th International Conference, CLOSER 2017, Porto, Portugal, April 24–26, 2017, Revised Selected Papers

Author

Ferguson, Donald. editor. Muñoz, Víctor Méndez. editor. Cardoso, Jorge. editor. Helfert, Markus. editor. Pahl, Claus. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

Author

Itsykson, Vladimir. editor. Scedrov, Andre. editor. Zakharov, Victor. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Stabilization, Safety, and Security of Distributed Systems 20th International Symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018, Proceedings

Stabilization, Safety, and Security of Distributed Systems 20th International Symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018, Proceedings

Stabilization, Safety, and Security of Distributed Systems 20th International Symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018, Proceedings

Author

Izumi, Taisuke. editor. Kuznetsov, Petr. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Trends in Functional Programming 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers

Trends in Functional Programming 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers

Trends in Functional Programming 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers

Author

Wang, Meng. editor. Owens, Scott. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Robotic Grasping and Manipulation First Robotic Grasping and Manipulation Challenge, RGMC 2016, Held in Conjunction with IROS 2016, Daejeon, South Korea, October 10–12, 2016, Revised Papers

Robotic Grasping and Manipulation First Robotic Grasping and Manipulation Challenge, RGMC 2016, Held in Conjunction with IROS 2016, Daejeon, South Korea, October 10–12, 2016, Revised Papers

Robotic Grasping and Manipulation First Robotic Grasping and Manipulation Challenge, RGMC 2016, Held in Conjunction with IROS 2016, Daejeon, South Korea, October 10–12, 2016, Revised Papers

Author

Sun, Yu. editor. Falco, Joe. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Distributed Applications and Interoperable Systems 18th IFIP WG 6.1 International Conference, DAIS 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings

Distributed Applications and Interoperable Systems 18th IFIP WG 6.1 International Conference, DAIS 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings

Distributed Applications and Interoperable Systems 18th IFIP WG 6.1 International Conference, DAIS 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings

Author

Bonomi, Silvia. editor. Rivière, Etienne. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Compiler Construction 23rd International Conference, CC 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

Cohen, Albert. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-642-54807-9

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Job Scheduling Strategies for Parallel Processing 17th International Workshop, JSSPP 2013, Boston, MA, USA, May 24, 2013 Revised Selected Papers

Job Scheduling Strategies for Parallel Processing 17th International Workshop, JSSPP 2013, Boston, MA, USA, May 24, 2013 Revised Selected Papers

Job Scheduling Strategies for Parallel Processing 17th International Workshop, JSSPP 2013, Boston, MA, USA, May 24, 2013 Revised Selected Papers

Author

Desai, Narayan. editor. Cirne, Walfredo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-43779-7

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Author

Beckert, Bernhard. editor. Damiani, Ferruccio. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334077.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-35887-6

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Assurances for Self-Adaptive Systems Principles, Models, and Techniques

Assurances for Self-Adaptive Systems Principles, Models, and Techniques

Assurances for Self-Adaptive Systems Principles, Models, and Techniques

Author

Cámara, Javier. editor. Lemos, Rogério. editor. Ghezzi, Carlo. editor. Lopes, Antónia. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334156.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36249-1

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Euro-Par 2013 Parallel Processing 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings

Euro-Par 2013 Parallel Processing 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings

Euro-Par 2013 Parallel Processing 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings

Author

Wolf, Felix. editor. Mohr, Bernd. editor. Mey, Dieter. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334882.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-40047-6

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

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11