Search Results for Languages.

|

|

|

|

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:

+

Konu: Computer Communication Networks.

Author

SpringerLink (Online service)

(113)

Baldoni, Matteo. editor.

(5)

Omicini, Andrea. editor.

(3)

Riemsdijk, M. Birna. editor.

(3)

Winikoff, Michael. editor.

(3)

Abramsky, Samson. editor.

(2)

Aceto, Luca. editor.

(2)

Bouajjani, Ahmed. editor.

(2)

Chigona, Wallace. editor. (orcid)0000-0002-1059-811X

(2)

Czumaj, Artur. editor.

(2)

Endriss, Ulle. editor.

(2)

Fomin, Fedor V. editor.

(2)

Freivalds, Rūsiņš. editor.

(2)

Gavoille, Cyril. editor.

(2)

Henzinger, Monika. editor.

(2)

Kabanda, Salah. editor. (orcid)0000-0002-0490-8417

(2)

Kirchner, Claude. editor.

(2)

Královič, Rastislav. editor. (orcid)0000-0003-1121-1009

(2)

Kwiatkowska, Marta. editor.

(2)

Kůrková, Věra. editor. (orcid)0000-0002-8181-2128

(2)

Liu, Shaoying. editor.

(2)

Manzoni, Luca. editor.

(2)

Mehlhorn, Kurt. editor.

(2)

Meyer auf der Heide, Friedhelm. editor.

(2)

Peleg, David. editor.

(2)

Pitts, Andrew. editor.

(2)

Reed, Rick. editor.

(2)

Sardina, Sebastian. editor.

(2)

Seymour, Lisa F. editor. (orcid)0000-0001-6704-0021

(2)

Sgall, Jiří. editor.

(2)

Son, Tran Cao. editor.

(2)

Soto, José A. editor.

(2)

Spirakis, Paul G. editor.

(2)

Torroni, Paolo. editor.

(2)

Vasconcelos, Wamberto. editor.

(2)

Wattenhofer, Roger. editor.

(2)

Wiese, Andreas. editor.

(2)

Xue, Bing. editor. (orcid)0000-0002-4865-8026

(2)

Adve, Vikram. editor.

(1)

Agha, Gul. editor.

(1)

Albert, Elvira. editor.

(1)

Almási, George. editor.

(1)

Altmann, Jörn. editor. (orcid)0000-0002-8880-9546

(1)

Amaral, José Nelson. editor.

(1)

Amos, Martyn. editor.

(1)

Antonucci, Alessandro. editor.

(1)

Arbel, Eli. editor.

(1)

Ayala, José L. editor.

(1)

Ayguadé, Eduard. editor.

(1)

B, Bharathi. editor. (orcid)0000-0001-7279-5357

(1)

Badia, Antonio. author.

(1)

Baier, Christel. editor.

(1)

Bakurov, Illya. editor. (orcid)0000-0002-6458-942X

(1)

Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408

(1)

Barbosa, Haniel. editor.

(1)

Barthe, Gilles. editor.

(1)

Baumgartner, Gerald. editor.

(1)

Bañares, José Ángel. editor. (orcid)0000-0002-4198-8241

(1)

Bentahar, Jamal. editor.

(1)

Berdine, Josh. editor.

(1)

Bertacco, Valeria. editor.

(1)

Bloem, Roderick. editor.

(1)

Bogomolov, Sergiy. editor.

(1)

Bollen, Peter. editor.

(1)

Botterweck, Goetz. editor.

(1)

Bravetti, Mario. editor.

(1)

Brlek, Srečko. editor.

(1)

Broch Johnsen, Einar. editor. (orcid)0000-0001-5382-3949

(1)

Broering, Arne. editor.

(1)

Castagna, Giuseppe. editor.

(1)

Cavalli, Ana Rosa. editor.

(1)

Cavazos, John. editor.

(1)

Caşcaval, Călin. editor.

(1)

Chakravarthi, Bharathi Raja. editor. (orcid)0000-0002-4575-7934

(1)

Cholvy, Laurence. editor.

(1)

Ciuciu, Ioana. editor.

(1)

Clarke, Dave. editor.

(1)

Cohen, Albert. editor.

(1)

Condon, Anne. editor.

(1)

Cook, Matthew. editor.

(1)

Cooper, Keith. editor.

(1)

Crnkovic, Ivica. editor.

(1)

Cámara, Javier. editor.

(1)

Damiani, Ferruccio. editor. (orcid)0000-0001-8109-1706

(1)

Debruyne, Christophe. editor.

(1)

Dennunzio, Alberto. editor.

(1)

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

(1)

Dinh, Thang N. editor.

(1)

Djemame, Karim. editor. (orcid)0000-0001-5811-5263

(1)

Dolce, Francesco. editor.

(1)

Dragoni, Mauro. editor. (orcid)0000-0003-0380-6571

(1)

Drira, Khalil. editor.

(1)

Duan, Zhenhua. editor.

(1)

Eder, Johann. editor.

(1)

Eigenmann, Rudolf. editor.

(1)

Ermolayev, Vadim. editor.

(1)

Felderer, Michael. editor.

(1)

Fensel, Anna. editor.

(1)

Fischer-Hübner, Simone. editor.

(1)

Formenti, Enrico. editor.

(1)

Furht, Borko. author.

(1)

Fürnkranz, Johannes. editor. (orcid)0000-0002-1207-0159

(1)

Gaag, Linda C. editor.

(1)

Gamard, Guilhem. editor.

(1)

Gao, Guang R. editor.

(1)

García Cumbreras, Miguel Ángel. editor. (orcid)0000-0003-1867-9587

(1)

Garzarán, María Jesús. editor.

(1)

Gherbi, Abdelouahed. editor.

(1)

Ghezzi, Carlo. editor.

(1)

Giacobazzi, Roberto. editor.

(1)

Giacobini, Mario. editor.

(1)

Gibson-Robinson, Thomas. editor.

(1)

Gordon, Andrew D. editor.

(1)

Gorp, Pieter. editor.

(1)

Gotzhein, Reinhard. editor.

(1)

Grabowski, Jens. editor.

(1)

Groves, Lindsay. editor.

(1)

Großmann, Jürgen. editor.

(1)

Han, Hyoil. editor. (orcid)0000-0001-8424-9804

(1)

Haugen, Øystein. editor.

(1)

Herbold, Steffen. editor.

(1)

Hierons, Robert M. editor.

(1)

Hinchey, Mike. editor.

(1)

Hopcroft, Philippa. editor.

(1)

Hung, Dang. editor.

(1)

Hähnle, Reiner. editor.

(1)

Jacquet, Jean-Marie. editor.

(1)

Jajodia, Sushil. editor. (orcid)0000-0003-3210-558X

(1)

Jeong, Young-Sik. editor.

(1)

Jimenez-Ruiz, Ernesto. editor.

(1)

Jiménez Zafra, Salud María. editor. (orcid)0000-0003-3274-8825

(1)

Jobstmann, Barbara. editor.

(1)

Julien, Christine. editor.

(1)

Kalenkova, Anna. editor.

(1)

Kamburjan, Eduard. editor. (orcid)0000-0002-0996-2543

(1)

Kephart, Jeffrey O. editor.

(1)

Kern-Isberner, Gabriele. editor.

(1)

Khendek, Ferhat. editor.

(1)

Kohls, Christian. editor.

(1)

Kordon, Fabrice. editor.

(1)

Kounev, Samuel. editor.

(1)

Lambrinoudakis, Costas. editor. (orcid)0000-0003-3101-5347

(1)

Lanese, Ivan. editor. (orcid)0000-0003-2527-9995

(1)

Lawford, Mark. editor.

(1)

Lazić, Ranko. editor.

(1)

Lecomte, Thierry. editor.

(1)

Legay, Axel. editor.

(1)

Leino, K. Rustan M. editor.

(1)

Leite, João. editor.

(1)

Lemos, Rogério. editor.

(1)

Leroy, Julien. editor.

(1)

Li, Xiaoming. editor.

(1)

Li, Zhiyuan. editor.

(1)

Liszt, Franz, 1811-1886 editor.

(1)

Lloyd, John. editor.

(1)

Lopes, Antónia. editor.

(1)

Lopez, Javier. editor.

(1)

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

(1)

Lukasiewicz, Thomas. author.

(1)

Maass, Wolfgang. editor. (orcid)0000-0003-4057-0924

(1)

Machado, Ricardo J. editor.

(1)

Maciaszek, Leszek A. editor.

(1)

Maciel, Rita Suzana P. editor.

(1)

Mangler, Jürgen. author.

(1)

Manzoni, Luca. editor. (orcid)0000-0001-6312-7728

(1)

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739

(1)

Martel, Matthieu. editor.

(1)

Mastroeni, Isabella. editor.

(1)

Mayr, Heinrich C. editor.

(1)

Mellor-Crummey, John. editor.

(1)

Meng, Weizhi. editor. (orcid)0000-0003-4384-5786

(1)

Merayo, Mercedes G. editor.

(1)

Meuter, Wolfgang. editor.

(1)

Mey, Dieter. editor.

(1)

Midkiff, Samuel P. editor.

(1)

Milazzo, Paolo. editor. (orcid)0000-0002-7309-6424

(1)

Milenkoski, Aleksandar. editor.

(1)

Mills Strout, Michelle. editor.

(1)

Mohr, Bernd. editor.

(1)

Moldt, Daniel. editor.

(1)

Molinaro, Cristian. author.

(1)

Monniaux, David. editor.

(1)

Multari, Nick. editor. (orcid)0000-0002-7275-8182

(1)

Müller, Jörg P. editor.

(1)

Nakov, Preslav. editor.

(1)

Naldi, Maurizio. editor. (orcid)0000-0002-0903-398X

(1)

Neary, Turlough. editor.

(1)

Nicola, Rocco. editor.

(1)

Nikitchenko, Mykola. editor.

(1)

Nunes, Ingrid. editor.

(1)

Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259

(1)

Ogawa, Mizuhito. editor.

(1)

Oikonomou, Konstantinos. editor.

(1)

Ong, Luke. editor.

(1)

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

(1)

Papini, Odile. editor.

(1)

Park, James J. (Jong Hyuk). editor.

(1)

Petersen, Paul. editor.

(1)

Picco, Gian Pietro. editor.

(1)

Pinger, Ralf. editor.

(1)

Language

(113)

Publication Date

-

(24)

(20)

(16)

(11)

(9)

(6)

(6)

(5)

(4)

(4)

(3)

(3)

(1)

(1)

Subject

Computer science.

(83)

Software engineering.

(69)

Computer networks .

(56)

Artificial intelligence.

(41)

(31)

Formal Languages and Automata Theory.

(27)

Machine theory.

(27)

Programming Languages, Compilers, Interpreters.

(19)

Application software.

(18)

Computer and Information Systems Applications.

(18)

Computer Science Logic and Foundations of Programming.

(16)

Logics and Meanings of Programs.

(16)

Theory of Computation.

(13)

Data structures (Computer science).

(12)

Programming Techniques.

(12)

Computer science -- Mathematics.

(11)

Computer software.

(10)

Information storage and retrieval systems.

(10)

Compilers (Computer programs).

(9)

Compilers and Interpreters.

(9)

Discrete Mathematics in Computer Science.

(9)

(8)

Mathematical Logic and Formal Languages.

(8)

Computational complexity.

(7)

Discrete mathematics.

(7)

Information Systems.

(7)

Programming Language.

(7)

Programming languages (Electronic computers).

(7)

Electronic data processing.

(6)

Information Storage and Retrieval.

(6)

Management of Computing and Information Systems.

(6)

Operating systems (Computers).

(6)

Special Purpose and Application-Based Systems.

(6)

Artificial Intelligence (incl. Robotics).

(5)

Computer programming.

(5)

Computer simulation.

(5)

Data and Information Security.

(5)

Data protection.

(5)

Information Systems Applications (incl. Internet).

(5)

Information systems.

(5)

Information theory.

(5)

Natural Language Processing (NLP).

(5)

Natural language processing (Computer science).

(5)

Operating Systems.

(5)

Algorithm Analysis and Problem Complexity.

(4)

Computation by Abstract Devices.

(4)

Computers, Special purpose.

(4)

(4)

Computing Milieux.

(4)

(4)

(4)

Data Mining and Knowledge Discovery.

(4)

Data encryption (Computer science).

(4)

(4)

Electronic data processing -- Management.

(4)

(4)

System Performance and Evaluation.

(4)

Communications Engineering, Networks.

(3)

Computer Modelling.

(3)

Computers and Society.

(3)

Computers and civilization.

(3)

Data Structures and Information Theory.

(3)

Database management.

(3)

Mathematics of Computing.

(3)

Telecommunication.

(3)

Business information services.

(2)

Coding and Information Theory.

(2)

(2)

Complex Systems.

(2)

Computer Application in Administrative Data Processing.

(2)

Computer network architectures.

(2)

Computer system performance.

(2)

Control Structures and Microprogramming.

(2)

Electronic digital computers -- Evaluation.

(2)

IT in Business.

(2)

Information technology -- Management.

(2)

Machine learning.

(2)

Mathematical Applications in Computer Science.

(2)

Microprogramming .

(2)

Simulation and Modeling.

(2)

Symbolic and Algebraic Manipulation.

(2)

(2)

Computational intelligence.

(1)

Computer System Implementation.

(1)

Computer Systems Organization and Communication Networks.

(1)

Computer architecture.

(1)

Computer graphics.

(1)

Computer input-output equipment.

(1)

Computer networks -- Security measures.

(1)

Computer systems.

(1)

Computing Methodologies.

(1)

Cooperating objects (Computer systems).

(1)

Cyber-Physical Systems.

(1)

Data Structures.

(1)

Input/Output and Data Communications.

(1)

(1)

Logic programming.

(1)

Mathematical statistics.

(1)

Microprocessors.

(1)

Mobile and Network Security.

(1)

Models and Principles.

(1)

Models of Computation.

(1)

Numeric Computing.

(1)

Numerical analysis.

(1)

Probability and Statistics in Computer Science.

(1)

Processor Architectures.

(1)

Register-Transfer-Level Implementation.

(1)

Software Engineering/Programming and Operating Systems.

(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

113 Results Found

Subscribe to search results

1 .. 3 4 5 6 7 .. 10

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 Formal Methods: Foundations and Applications 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings

Formal Methods: Foundations and Applications 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings

Formal Methods: Foundations and Applications 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings

Author

Barbosa, Haniel. editor. Zohar, Yoni. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-49342-3

Format:

Availability

Online Library~1

Available:
Copies:

50.

Cover image for Fundamentals of Information Systems Interoperability Data, Services, and Processes

Fundamentals of Information Systems Interoperability Data, Services, and Processes

Fundamentals of Information Systems Interoperability Data, Services, and Processes

Author

Rinderle-Ma, Stefanie. author. (orcid)0000-0001-5656-6108 Mangler, Jürgen. author. Ritter, Daniel. author. (orcid)0000-0001-6146-3365 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-48322-6

Format:

Availability

Online Library~1

Available:
Copies:

51.

Cover image for Implications of Information and Digital Technologies for Development 18th IFIP WG 9.4 International Conference, ICT4D 2024, Cape Town, South Africa, May 20-22, 2024, Proceedings, Part I

Implications of Information and Digital Technologies for Development 18th IFIP WG 9.4 International Conference, ICT4D 2024, Cape Town, South Africa, May 20-22, 2024, Proceedings, Part I

Implications of Information and Digital Technologies for Development 18th IFIP WG 9.4 International Conference, ICT4D 2024, Cape Town, South Africa, May 20-22, 2024, Proceedings, Part I

Author

Chigona, Wallace. editor. (orcid)0000-0002-1059-811X Kabanda, Salah. editor. (orcid)0000-0002-0490-8417 Seymour, Lisa F. editor. (orcid)0000-0001-6704-0021 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-66982-8

Format:

Availability

Online Library~1

Available:
Copies:

52.

Cover image for Implications of Information and Digital Technologies for Development 18th IFIP WG 9.4 International Conference, ICT4D 2024, Cape Town, South Africa, May 20-22, 2024, Proceedings, Part II

Implications of Information and Digital Technologies for Development 18th IFIP WG 9.4 International Conference, ICT4D 2024, Cape Town, South Africa, May 20-22, 2024, Proceedings, Part II

Implications of Information and Digital Technologies for Development 18th IFIP WG 9.4 International Conference, ICT4D 2024, Cape Town, South Africa, May 20-22, 2024, Proceedings, Part II

Author

Chigona, Wallace. editor. (orcid)0000-0002-1059-811X Kabanda, Salah. editor. (orcid)0000-0002-0490-8417 Seymour, Lisa F. editor. (orcid)0000-0001-6704-0021 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-66986-6

Format:

Availability

Online Library~1

Available:
Copies:

53.

Cover image for The Composable Enterprise: Agile, Flexible, Innovative A Gamechanger for Organisations, Digitisation and Business Software

The Composable Enterprise: Agile, Flexible, Innovative A Gamechanger for Organisations, Digitisation and Business Software

The Composable Enterprise: Agile, Flexible, Innovative A Gamechanger for Organisations, Digitisation and Business Software

Author

Scheer, August-Wilhelm. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-658-43089-4

Format:

Availability

Online Library~1

Available:
Copies:

54.

Cover image for Tools and Methods of Program Analysis 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers

Tools and Methods of Program Analysis 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers

Tools and Methods of Program Analysis 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers

Author

Yavorskiy, Rostislav. editor. Cavalli, Ana Rosa. editor. Kalenkova, Anna. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-50423-5

Format:

Availability

Online Library~1

Available:
Copies:

55.

Cover image for LATIN 2024: Theoretical Informatics 16th Latin American Symposium, Puerto Varas, Chile, March 18-22, 2024, Proceedings, Part I

LATIN 2024: Theoretical Informatics 16th Latin American Symposium, Puerto Varas, Chile, March 18-22, 2024, Proceedings, Part I

LATIN 2024: Theoretical Informatics 16th Latin American Symposium, Puerto Varas, Chile, March 18-22, 2024, Proceedings, Part I

Author

Soto, José A. editor. Wiese, Andreas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-55598-5

Format:

Availability

Online Library~1

Available:
Copies:

56.

Cover image for LATIN 2024: Theoretical Informatics 16th Latin American Symposium, Puerto Varas, Chile, March 18-22, 2024, Proceedings, Part II

LATIN 2024: Theoretical Informatics 16th Latin American Symposium, Puerto Varas, Chile, March 18-22, 2024, Proceedings, Part II

LATIN 2024: Theoretical Informatics 16th Latin American Symposium, Puerto Varas, Chile, March 18-22, 2024, Proceedings, Part II

Author

Soto, José A. editor. Wiese, Andreas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-55601-2

Format:

Availability

Online Library~1

Available:
Copies:

57.

Cover image for Genetic Programming 27th European Conference, EuroGP 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings

Genetic Programming 27th European Conference, EuroGP 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings

Genetic Programming 27th European Conference, EuroGP 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings

Author

Giacobini, Mario. editor. Xue, Bing. editor. (orcid)0000-0002-4865-8026 Manzoni, Luca. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-56957-9

Format:

Availability

Online Library~1

Available:
Copies:

58.

Cover image for Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday

Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday

Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday

Author

Gibson-Robinson, Thomas. editor. Hopcroft, Philippa. editor. Lazić, Ranko. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

59.

Cover image for Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

Author

Duan, Zhenhua. editor. Ong, Luke. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

60.

Cover image for Interoperability and Open-Source Solutions for the Internet of Things Second International Workshop, InterOSS-IoT 2016, Held in Conjunction with IoT 2016, Stuttgart, Germany, November 7, 2016, Invited Papers

Interoperability and Open-Source Solutions for the Internet of Things Second International Workshop, InterOSS-IoT 2016, Held in Conjunction with IoT 2016, Stuttgart, Germany, November 7, 2016, Invited Papers

Interoperability and Open-Source Solutions for the Internet of Things Second International Workshop, InterOSS-IoT 2016, Held in Conjunction with IoT 2016, Stuttgart, Germany, November 7, 2016, Invited Papers

Author

Podnar Žarko, Ivana. editor. Broering, Arne. editor. Soursos, Sergios. editor. Serrano, Martin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11