Search Results for Programming.

|

|

|

|

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 Communication Networks.

Author

SpringerLink (Online service)

(80)

Dix, Jürgen. editor.

(4)

Bordini, Rafael H. editor.

(3)

Dastani, Mehdi. editor.

(3)

Abramsky, Samson. editor.

(2)

Aceto, Luca. editor.

(2)

Ando, Noriaki. editor.

(2)

Czumaj, Artur. editor.

(2)

Fallah Seghrouchni, Amal. editor.

(2)

Fomin, Fedor V. editor.

(2)

Freivalds, Rūsiņš. editor.

(2)

Gavoille, Cyril. editor.

(2)

Graba, Jan. author.

(2)

Guerraoui, Rachid. author.

(2)

Henzinger, Monika. editor.

(2)

Kirchner, Claude. editor.

(2)

Kwiatkowska, Marta. editor.

(2)

Mehlhorn, Kurt. editor.

(2)

Meyer auf der Heide, Friedhelm. editor.

(2)

Noda, Itsuki. editor.

(2)

Peleg, David. editor.

(2)

Pitts, Andrew. editor.

(2)

Rauber, Thomas. author.

(2)

Reed, Rick. editor.

(2)

Reggiani, Monica. editor.

(2)

Rodrigues, Luís. author.

(2)

Rünger, Gudula. author.

(2)

Sgall, Jiří. editor.

(2)

Spirakis, Paul G. editor.

(2)

Stryk, Oskar. editor.

(2)

Wattenhofer, Roger. editor.

(2)

Ahmed, Sherif Saad. editor.

(1)

Ardagna, Claudio Agostino. editor.

(1)

Arjeski, Trevor. author.

(1)

Ayala, José L. editor.

(1)

Baier, Christel. editor.

(1)

Balakirsky, Stephen. editor.

(1)

Barthe, Gilles. editor.

(1)

Barták, Roman. editor.

(1)

Bassiliades, Nick. editor.

(1)

Bertacco, Valeria. editor.

(1)

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

(1)

Black, Andrew P. editor.

(1)

Botterweck, Goetz. editor.

(1)

Braubach, Lars. editor.

(1)

Bravetti, Mario. editor.

(1)

Briot, Jean-Pierre. editor.

(1)

Brugali, Davide. editor.

(1)

Cachin, Christian. author.

(1)

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

(1)

Carpin, Stefano. editor.

(1)

Castagna, Giuseppe. editor.

(1)

Cirne, Walfredo. editor.

(1)

Ciubotaru, Bogdan. author.

(1)

Cohen, Albert. editor.

(1)

Collier, Rem. editor.

(1)

Cámara, Javier. editor.

(1)

Danelutto, Marco. author.

(1)

Dastani, Mehdi M. editor.

(1)

Debruyne, Christophe. editor.

(1)

Desai, Narayan. editor.

(1)

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

(1)

Dignum, Stephen. editor.

(1)

Dormido Bencomo, Sebastián. editor.

(1)

Drira, Khalil. editor.

(1)

Drossopoulou, Sophia. editor.

(1)

Dünnweber, Jan. author.

(1)

D’Hondt, Theo. editor.

(1)

Eisenbrand, Friedrich. editor.

(1)

Ekárt, Anikó. editor.

(1)

El Fallah Seghrouchni, Amal. editor.

(1)

Elahi, Ata. author.

(1)

Ermolayev, Vadim. editor.

(1)

Ernst, Erik. editor.

(1)

Esparcia-Alcázar, Anna Isabel. editor.

(1)

Fahringer, Thomas. author.

(1)

Frachtenberg, Eitan. editor.

(1)

Fragopoulou, Paraskevi. author.

(1)

Frey, Davide. editor.

(1)

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

(1)

Getov, Vladimir. author.

(1)

Gherbi, Abdelouahed. editor.

(1)

Ghezzi, Carlo. editor.

(1)

Gordon, Andrew D. editor.

(1)

Gorlatch, Sergei. author.

(1)

Gorp, Pieter. editor.

(1)

Gotzhein, Reinhard. editor.

(1)

Governatori, Guido. editor.

(1)

Groves, Lindsay. editor.

(1)

Guinaldo Losada, María. editor.

(1)

Gupta, Anshul. editor.

(1)

Günlük, Oktay. editor.

(1)

Haugen, Øystein. editor.

(1)

Hemker, Thomas. editor.

(1)

Hierons, Robert M. editor.

(1)

Hindriks, Koen V. editor.

(1)

Holt, Alan. author.

(1)

Horváth, Zoltán. editor.

(1)

Hung, Dang. editor.

(1)

Jürjens, Jan. editor.

(1)

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

(1)

Khendek, Ferhat. editor.

(1)

Kuffner, James J. editor.

(1)

Legay, Axel. editor.

(1)

Lemos, Rogério. editor.

(1)

Liu, Shaoying. editor.

(1)

Livshits, Benjamin. editor.

(1)

Lopes, Antónia. editor.

(1)

Loreti, Michele. editor. (orcid)0000-0003-3061-863X

(1)

Machado, Ricardo J. editor.

(1)

Maciaszek, Leszek A. editor.

(1)

Maciel, Rita Suzana P. editor.

(1)

Malik, Yasir. editor.

(1)

Mayr, Heinrich C. editor.

(1)

Meersman, Robert. editor.

(1)

Merayo, Mercedes G. editor.

(1)

Mey, Dieter. editor.

(1)

Mezini, Mira. editor.

(1)

Milano, Michela. editor.

(1)

Mills Strout, Michelle. editor.

(1)

Mohr, Bernd. editor.

(1)

Muntean, Gabriel-Miro. author.

(1)

Nikitchenko, Mykola. editor.

(1)

Noble, James. editor.

(1)

Novák, Peter. editor.

(1)

Ogawa, Mizuhito. editor.

(1)

Pagello, Enrico. editor.

(1)

Panetto, Hervé. editor. (orcid)0000-0002-5537-2261

(1)

Paschke, Adrian. editor.

(1)

Perny, Patrice. editor.

(1)

Pirlot, Marc. editor.

(1)

Plasmeijer, Rinus. editor.

(1)

Pokahr, Alexander. editor.

(1)

Prasad, Sushil K. editor.

(1)

Proper, Henderik A. editor. (orcid)0000-0002-7318-2496

(1)

Qin, Jun. author.

(1)

Rajopadhye, Sanjay. editor.

(1)

Raynal, Michel. author.

(1)

Raynal, Michel. editor.

(1)

Ricci, Alessandro. editor.

(1)

Ritter, Tom. editor.

(1)

Rodríguez Rubio, Francisco. editor.

(1)

Roman, Dumitru. editor.

(1)

Rose, Louis M. editor.

(1)

Rosenberg, Arnold. editor.

(1)

Rubin, Julia. editor.

(1)

Sardina, Sebastian. editor.

(1)

Sarkar, Saswati. editor.

(1)

Scandariato, Riccardo. editor.

(1)

Schwiegelshohn, Uwe. editor.

(1)

Seghrouchni, Amal El Fallah. editor.

(1)

Seidl, Helmut. editor.

(1)

Shang, Delong. editor.

(1)

Shankar, A. Udaya. author.

(1)

Shepherd, F. Bruce. editor.

(1)

Shyamasundar, Rudrapatna K. editor.

(1)

Silva, Sara. editor.

(1)

Sinha, Prasun. editor.

(1)

Skavhaug, Amund. editor.

(1)

Spivakovsky, Aleksander. editor.

(1)

Sun, Jing. editor.

(1)

Sussman, Alan. editor.

(1)

Thangarajah, John. editor.

(1)

Thomas, Dave. editor.

(1)

Toeroe, Maria. editor.

(1)

Traore, Issa. editor. (orcid)0000-0003-2987-8047

(1)

Tsoukiàs, Alexis. editor.

(1)

Ulidowski, Irek. editor.

(1)

Ulrich, Andreas. editor.

(1)

Uyar, A. Şima. editor.

(1)

Vitek, Jan. editor.

(1)

Weems, Charles. editor.

(1)

Winikoff, Michael. editor.

(1)

Woeginger, Gerhard J. editor.

(1)

Wolf, Felix. editor.

(1)

Woungang, Isaac. editor. (orcid)0000-0003-2484-4649

(1)

Wu, Chenggang. editor.

(1)

Yakovlev, Alex. editor.

(1)

Yenigün, Hüsnü. editor.

(1)

Yilmaz, Cemal. editor.

(1)

Zhang, Kang. editor.

(1)

Zholtkevych, Grygoriy. editor.

(1)

Zsók, Viktória. editor.

(1)

Language

(80)

Publication Date

-

(30)

(10)

(7)

(7)

(7)

(5)

(3)

(3)

(3)

(3)

(2)

Subject

Computer science.

(75)

Software engineering.

(54)

(35)

Artificial intelligence.

(24)

Computer software.

(19)

Programming Languages, Compilers, Interpreters.

(19)

Logics and Meanings of Programs.

(14)

Programming Techniques.

(14)

Information Systems.

(12)

Computational complexity.

(10)

Computer simulation.

(8)

Operating systems (Computers).

(8)

Algorithm Analysis and Problem Complexity.

(7)

Computer system performance.

(6)

Information Systems Applications (incl. Internet).

(6)

Management of Computing and Information Systems.

(6)

Mathematical Logic and Formal Languages.

(6)

Telecommunication.

(6)

Data structures (Computer science).

(5)

Electronic data processing.

(5)

Information storage and retrieval systems.

(5)

Artificial Intelligence (incl. Robotics).

(4)

Computer network architectures.

(4)

Computer security.

(4)

Information systems.

(4)

Operating Systems.

(4)

Software Engineering/Programming and Operating Systems.

(4)

Communications Engineering, Networks.

(3)

Models and Principles.

(3)

Simulation and Modeling.

(3)

Special Purpose and Application-Based Systems.

(3)

System Performance and Evaluation.

(3)

Computation by Abstract Devices.

(2)

Computer graphics.

(2)

Computer networks .

(2)

Data encryption (Computer science).

(2)

Data transmission systems.

(2)

Discrete Mathematics in Computer Science.

(2)

Information Storage and Retrieval.

(2)

Computational Science and Engineering.

(1)

Computer Systems Organization and Communication Networks.

(1)

Computer hardware.

(1)

Computer science -- Mathematics.

(1)

Computing Methodologies.

(1)

Control and Systems Theory.

(1)

Control engineering.

(1)

Control theory.

(1)

Data Encryption.

(1)

Data Structures, Cryptology and Information Theory.

(1)

Data Structures.

(1)

(1)

Data protection.

(1)

Database management.

(1)

Electronic Circuits and Systems.

(1)

Electronic circuits.

(1)

Information theory.

(1)

Input/Output and Data Communications.

(1)

Math Applications in Computer Science.

(1)

Microprogramming.

(1)

Monoclonal antibodies.

(1)

Numeric Computing.

(1)

Optical pattern recognition.

(1)

Probability and Statistics in Computer Science.

(1)

Processor Architectures.

(1)

Register-Transfer-Level Implementation.

(1)

(1)

Systems Theory, Control.

(1)

Systems and Data Security.

(1)

Theory of Computation.

(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

80 Results Found

Subscribe to search results

1 .. 3 4 5 6 7

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 Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems Second International Conference, CPAIOR 2005, Prague, Czech Republic, May 31-June 1, 2005. Proceedings

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems Second International Conference, CPAIOR 2005, Prague, Czech Republic, May 31-June 1, 2005. Proceedings

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems Second International Conference, CPAIOR 2005, Prague, Czech Republic, May 31-June 1, 2005. Proceedings

Author

Barták, Roman. editor. Milano, Michela. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b136920

Format:

Availability

Online Library~1

Available:
Copies:

50.

Cover image for Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments Second International Conference, ISDDC 2018, Vancouver, BC, Canada, November 28–30, 2018, Proceedings

Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments Second International Conference, ISDDC 2018, Vancouver, BC, Canada, November 28–30, 2018, Proceedings

Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments Second International Conference, ISDDC 2018, Vancouver, BC, Canada, November 28–30, 2018, Proceedings

Author

Traore, Issa. editor. (orcid)0000-0003-2987-8047 Woungang, Isaac. editor. (orcid)0000-0003-2484-4649 Ahmed, Sherif Saad. editor. Malik, Yasir. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

51.

Cover image for On the Move to Meaningful Internet Systems. OTM 2018 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part I

On the Move to Meaningful Internet Systems. OTM 2018 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part I

On the Move to Meaningful Internet Systems. OTM 2018 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part I

Author

Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Debruyne, Christophe. editor. Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 Ardagna, Claudio Agostino. editor. Roman, Dumitru. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

52.

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:

53.

Cover image for Computer Safety, Reliability, and Security 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings

Computer Safety, Reliability, and Security 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings

Computer Safety, Reliability, and Security 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings

Author

Gallina, Barbara. editor. (orcid)0000-0002-6952-1053 Skavhaug, Amund. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

54.

Cover image for Coordination Models and Languages 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings

Coordination Models and Languages 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings

Coordination Models and Languages 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings

Author

Di Marzo Serugendo, Giovanna. editor. (orcid)0000-0001-5048-5251 Loreti, Michele. editor. (orcid)0000-0003-3061-863X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

55.

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

Formal Techniques for Distributed Objects, Components, and Systems 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings

Formal Techniques for Distributed Objects, Components, and Systems 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings

Author

Baier, Christel. editor. Caires, Luís. editor. (orcid)0000-0002-3215-6734 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

56.

Cover image for ARM Assembly Language with Hardware Experiments

ARM Assembly Language with Hardware Experiments

ARM Assembly Language with Hardware Experiments

Author

Elahi, Ata. author. Arjeski, Trevor. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

57.

Cover image for Asynchronous Control for Networked Systems

Asynchronous Control for Networked Systems

Asynchronous Control for Networked Systems

Author

Guinaldo Losada, María. editor. Rodríguez Rubio, Francisco. editor. Dormido Bencomo, Sebastián. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-21299-9

Format:

Availability

Online Library~1

Available:
Copies:

58.

Cover image for Distributed Computing and Networking 14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013. Proceedings

Distributed Computing and Networking 14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013. Proceedings

Distributed Computing and Networking 14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013. Proceedings

Author

Frey, Davide. editor. Raynal, Michel. editor. Sarkar, Saswati. editor. Shyamasundar, Rudrapatna K. editor. Sinha, Prasun. editor.

Preferred Shelf Number

ONLINE(334025.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

59.

Cover image for Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers

Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers

Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers

Author

Machado, Ricardo J. editor. Maciel, Rita Suzana P. editor. Rubin, Julia. editor. Botterweck, Goetz. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334556.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

60.

Cover image for SDL 2013: Model-Driven Dependability Engineering 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings

SDL 2013: Model-Driven Dependability Engineering 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings

SDL 2013: Model-Driven Dependability Engineering 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings

Author

Khendek, Ferhat. editor. Toeroe, Maria. editor. Gherbi, Abdelouahed. editor. Reed, Rick. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334697.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38911-5

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 .. 3 4 5 6 7

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11