Search Results for France.

|

|

|

|

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: Software engineering.

Author

SpringerLink (Online service)

(181)

Bensalem, Saddek. editor.

(4)

Jeannot, Emmanuel. editor.

(4)

Namyst, Raymond. editor.

(4)

Roman, Jean. editor.

(4)

Alexander, Michael. editor.

(3)

Barthe, Gilles. editor.

(3)

France, Robert B. editor.

(3)

Kotlarsky, Julia. editor.

(3)

Legay, Axel. editor.

(3)

Oshri, Ilan. editor.

(3)

Willcocks, Leslie P. editor.

(3)

Wolff, Burkhart. editor.

(3)

Altman, Eitan. editor.

(2)

Barkaoui, Kamel. editor.

(2)

Belloum, Adam. editor.

(2)

Bosilca, George. editor.

(2)

Bougé, Luc. editor.

(2)

Cannataro, Mario. editor.

(2)

Cherifi, Hocine. editor.

(2)

Cousot, Radhia. editor.

(2)

Cuppens, Frédéric. editor.

(2)

Cérin, Christophe. editor.

(2)

Danelutto, Marco. editor.

(2)

Daniel, Florian. editor.

(2)

Dustdar, Schahram. editor.

(2)

D’Ambra, Pasqua. editor.

(2)

El-Qawasmeh, Eyas. editor.

(2)

Gerndt, Michael. editor.

(2)

Giannakopoulou, Dimitra. editor.

(2)

Herrero, Pilar. editor.

(2)

Huisman, Marieke. editor.

(2)

Kordon, Fabrice. editor.

(2)

Lacroix, Zoé. editor.

(2)

Lanet, Jean-Louis. editor.

(2)

Martino, Beniamino. editor.

(2)

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

(2)

Meersman, Robert. editor.

(2)

Muntean, Traian. editor.

(2)

Méry, Dominique. editor.

(2)

Najm, Elie. editor.

(2)

Ober, Ileana. editor.

(2)

Ober, Iulian. editor.

(2)

Palanque, Philippe. editor.

(2)

Paulin-Mohring, Christine. editor.

(2)

Petit, Franck. editor.

(2)

Salaün, Gwen. editor.

(2)

Scott, Stephen L. editor.

(2)

Tari, Zahir. editor.

(2)

Traff, Jesper Larsson. editor.

(2)

Vallée, Geoffroy. editor.

(2)

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

(2)

Weidendorfer, Josef. editor.

(2)

Winckler, Marco. editor.

(2)

Winckler, Marco. editor. (orcid)0000-0002-0756-6934

(2)

Wolf, Karsten. editor.

(2)

Zain, Jasni Mohamad. editor.

(2)

Abelló, Alberto. editor.

(1)

Abraham, Erika. editor.

(1)

Abramsky, Samson. editor.

(1)

Afsarmanesh, Hamideh. editor.

(1)

Aguado, Marina. editor.

(1)

Ahmed, Mobyen Uddin. editor.

(1)

Al-Begain, Khalid. editor.

(1)

Albani, Antonia. editor.

(1)

Ali, Moonis. editor.

(1)

Alix, Thècle. editor.

(1)

Alonso, Gustavo. editor.

(1)

Amestoy, Patrick R. editor.

(1)

Argente, Estefanía. editor. (orcid)0000-0002-5431-3868

(1)

Artikis, Alexander. editor.

(1)

Asarin, Eugene. editor.

(1)

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

(1)

Atkinson, Colin. editor.

(1)

Attiogbé, Christian. editor. (orcid)0000-0002-7815-1752

(1)

Audebaud, Philippe. editor.

(1)

Aßmann, Uwe. editor.

(1)

Badonnel, Rémi. editor.

(1)

Bakhshi, Rena. editor.

(1)

Baldoni, Roberto. editor.

(1)

Ballarini, Paolo. editor.

(1)

Barbot, Benoît. editor.

(1)

Barjis, Joseph. editor.

(1)

Bauchet, Jérémy. editor.

(1)

Beckert, Bernhard. editor.

(1)

Begum, Shahina. editor. (orcid)0000-0002-1212-7637

(1)

Belardinelli, Francesco. editor. (orcid)0000-0002-7768-1794

(1)

Bellahsène, Zohra. editor.

(1)

Bellatreche, Ladjel. editor.

(1)

Benatallah, Boualem. editor.

(1)

Bencomo, Nelly. editor.

(1)

Berbineau, Marion. editor.

(1)

Bernard, Alain. editor.

(1)

Bernhaupt, Regina. editor.

(1)

Bertolotto, Michela. editor.

(1)

Bhiri, Sami. editor.

(1)

Bikakis, Antonis. editor.

(1)

Bitsch, Friedemann. editor.

(1)

Blanc, Gregory. editor. (orcid)0000-0001-8150-6617

(1)

Blanc-Talon, Jacques. editor.

(1)

Blazy, Sandrine. editor.

(1)

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

(1)

Boavida, Fernando. editor.

(1)

Boer, Frank S. editor.

(1)

Bogdan, Cristian. editor. (orcid)0000-0001-7549-1797

(1)

Bonnin, Jean-Marie. editor.

(1)

Bonsangue, Marcello M. editor.

(1)

Bordbar, Behzad. editor.

(1)

Bouajjani, Ahmed. editor.

(1)

Bouassida Rodriguez, Ismael. editor.

(1)

Boucher, Xavier. editor.

(1)

Bouyer, Patricia. editor.

(1)

Bravetti, Mario. editor.

(1)

Breu, Ruth. editor.

(1)

Bruel, Jean-Michel. editor.

(1)

Bruel, Jean-Michel. editor. (orcid)0000-0002-3653-0148

(1)

Burdy, Lilian. editor.

(1)

Bures, Tomas. editor.

(1)

Camarinha-Matos, Luis M. editor.

(1)

Canals, Gérôme. editor.

(1)

Carbone, Marco. editor.

(1)

Carrera, Iacopo. editor.

(1)

Cascini, Gaetano. editor.

(1)

Cassez, Franck. editor.

(1)

Castagna, Giuseppe. editor.

(1)

Castel-Taleb, Hind. editor.

(1)

Casteleyn, Sven. editor.

(1)

Cavallucci, Denis. editor.

(1)

Cavazza, Marc. editor.

(1)

Chahed, Tijani. editor.

(1)

Chaintreau, Augustin. editor.

(1)

Chapman, Barbara M. editor.

(1)

Chaudron, Michel R. V. editor.

(1)

Cheng, Betty H.C. editor.

(1)

Cherkaoui, Soumaya. editor.

(1)

Childs, Stephen. editor.

(1)

Chrisment, Isabelle. editor.

(1)

Claramunt, Christophe. editor.

(1)

Cohen, Albert. editor.

(1)

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

(1)

Collart-Dutilleul, Simon. editor.

(1)

Consel, Charles. editor.

(1)

Cook, Byron. editor.

(1)

Couch, Alva. editor.

(1)

Coudert, David. editor.

(1)

Cranefield, Stephen. editor.

(1)

Cuppens, Nora. editor.

(1)

Cuppens-Boulahia, Nora. editor.

(1)

Czarnecki, Krzysztof. editor.

(1)

Dalpiaz, Fabiano. editor. (orcid)0000-0003-4480-3887

(1)

Damiani, Ernesto. editor.

(1)

Danos, Vincent. editor.

(1)

Dapoigny, Richard. editor.

(1)

Dastani, Mehdi. editor.

(1)

Daydé, Michel. editor.

(1)

Dearle, Alan. editor.

(1)

Denazis, Spyros. editor.

(1)

Deneckère, Rébecca. editor.

(1)

Dietz, Jan L. G. editor.

(1)

Dissaux, Pierre. editor.

(1)

Dix, Jürgen. editor.

(1)

Donikian, Stéphane. editor.

(1)

Donzeau-Gouge, Véronique Viguié. editor.

(1)

Drira, Khalil. editor.

(1)

Drira, Khalil. editor. (orcid)0000-0002-4770-1563

(1)

Dua, Sumeet. editor.

(1)

Dubois, Catherine. editor.

(1)

Duchien, Laurence. editor. (orcid)0000-0002-4517-5862

(1)

Duchier, Denys. editor.

(1)

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

(1)

Dutta, Debasish. editor.

(1)

Défago, Xavier. editor.

(1)

Eisenbach, Susan. editor.

(1)

El-Azouzi, Rachid. editor.

(1)

Escobar, Santiago. editor. (orcid)0000-0002-3550-4781

(1)

Fasquel, Jean-Baptiste. editor.

(1)

Feliachi, Abderrahmane. editor.

(1)

Fernàndez Anta, Antonio. editor.

(1)

Ferrarotti, Flavio. editor. (orcid)0000-0003-2278-8233

(1)

Fiems, Dieter. editor.

(1)

Filali-Amine, Mamoun. editor.

(1)

Filipe, Joaquim. editor.

(1)

Finkel, Alain. editor.

(1)

Fisher, Michael. editor.

(1)

Fontaine, Pascal. editor.

(1)

Forbrig, Peter. editor.

(1)

Fornara, Nicoletta. editor.

(1)

Forsell, Martti. editor.

(1)

Fournet, Cédric. editor.

(1)

France, Robert. editor.

(1)

Franceschinis, Giuliana. editor.

(1)

Franch, Xavier. editor.

(1)

Galmiche, Didier. editor.

(1)

Gangopadhyay, Aryya. editor.

(1)

Ganter, Bernhard. editor.

(1)

Garcia-Alfaro, Joaquin. editor.

(1)

Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393

(1)

Gastin, Paul. editor.

(1)

Gaston, Christophe. editor. (orcid)0000-0001-6865-5108

(1)

Gaudel, Marie-Claude. editor.

(1)

Language

(181)

Publication Date

-

(23)

(21)

(20)

(20)

(17)

(13)

(13)

(12)

(11)

(11)

(10)

(10)

Subject

Computer science.

(152)

Computer Communication Networks.

(62)

(59)

Artificial intelligence.

(47)

Computer software.

(38)

Information systems.

(36)

Information Systems.

(31)

Computer simulation.

(21)

Computer system performance.

(20)

Operating systems (Computers).

(20)

Database management.

(16)

Computer network architectures.

(13)

Information storage and retrieval systems.

(13)

Logics and Meanings of Programs.

(11)

Management information systems.

(10)

Computational complexity.

(9)

Application software.

(8)

Information theory.

(8)

Mathematical Logic and Formal Languages.

(8)

Programming languages (Electronic computers).

(8)

Computer logic.

(7)

Data encryption (Computer science).

(7)

Data protection.

(7)

Programming Languages, Compilers, Interpreters.

(7)

Algorithm Analysis and Problem Complexity.

(6)

Artificial Intelligence (incl. Robotics).

(6)

Computer security.

(6)

Computer vision.

(6)

Electronic data processing.

(6)

Information Systems Applications (incl. Internet).

(6)

Management of Computing and Information Systems.

(6)

Computer programming.

(5)

(5)

(5)

Programming Techniques.

(5)

Bioinformatics.

(4)

Computer industry.

(4)

Mathematical logic.

(4)

Multimedia systems.

(4)

Business planning.

(3)

Computer communication systems.

(3)

Computer organization.

(3)

Data structures (Computer scienc.

(3)

Discrete Mathematics in Computer Science.

(3)

Industrial procurement.

(3)

Optical pattern recognition.

(3)

Special purpose computers.

(3)

Algebra -- Data processing.

(2)

(2)

Business Information Systems.

(2)

(2)

Computation by Abstract Devices.

(2)

Computer graphics.

(2)

Computer hardware.

(2)

Data Encryption.

(2)

Data structures (Computer science).

(2)

Data transmission systems.

(2)

Information Storage and Retrieval.

(2)

Medical records -- Data processing.

(2)

Simulation and Modeling.

(2)

Special Purpose and Application-Based Systems.

(2)

Systems and Data Security.

(2)

Telecommunication.

(2)

User interfaces (Computer systems).

(2)

(1)

Biology -- Data processing.

(1)

Business—Data processing.

(1)

Climatic changes.

(1)

Computer Science, general.

(1)

Computer aided design.

(1)

Computer science -- Mathematics.

(1)

Computers and Society.

(1)

Computing Methodologies.

(1)

Data Structures, Cryptology and Information Theory.

(1)

(1)

Engineering mathematics.

(1)

(1)

Health Informatics.

(1)

Information storage and retrieval.

(1)

Information technology.

(1)

Math Applications in Computer Science.

(1)

Mathematical geography.

(1)

Mathematics of Computing.

(1)

Memory management (Computer scie.

(1)

Models and Principles.

(1)

Organization/Planning.

(1)

(1)

(1)

Social sciences -- Data processing.

(1)

Software Engineering/Programming and Operating Systems.

(1)

Symbolic and Algebraic Manipulation.

(1)

System Performance and Evaluation.

(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

181 Results Found

Subscribe to search results

1 2 3 4 5 .. 16

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.

13.

Cover image for Modelling Foundations and Applications 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings

Modelling Foundations and Applications 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings

Modelling Foundations and Applications 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings

Author

Pierantonio, Alfonso. editor. (orcid)0000-0002-5231-3952 Trujillo, Salvador. editor. (orcid)0000-0002-3147-4618 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for Tests and Proofs 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings

Tests and Proofs 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings

Tests and Proofs 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings

Author

Dubois, Catherine. editor. Wolff, Burkhart. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

15.

Cover image for Biomimetic and Biohybrid Systems 7th International Conference, Living Machines 2018, Paris, France, July 17–20, 2018, Proceedings

Biomimetic and Biohybrid Systems 7th International Conference, Living Machines 2018, Paris, France, July 17–20, 2018, Proceedings

Biomimetic and Biohybrid Systems 7th International Conference, Living Machines 2018, Paris, France, July 17–20, 2018, Proceedings

Author

Vouloutsi, Vasiliki. editor. (orcid)0000-0001-6425-1026 Halloy, José. editor. Mura, Anna. editor. Mangan, Michael. editor. (orcid)0000-0002-0293-8874 Lepora, Nathan. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings

Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings

Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings

Author

Johnsen, Einar Broch. editor. Schaefer, Ina. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

17.

Cover image for Internet of Vehicles. Technologies and Services Towards Smart City 5th International Conference, IOV 2018, Paris, France, November 20–22, 2018, Proceedings

Internet of Vehicles. Technologies and Services Towards Smart City 5th International Conference, IOV 2018, Paris, France, November 20–22, 2018, Proceedings

Internet of Vehicles. Technologies and Services Towards Smart City 5th International Conference, IOV 2018, Paris, France, November 20–22, 2018, Proceedings

Author

Skulimowski, Andrzej M.J. editor. (orcid)0000-0003-0646-2858 Sheng, Zhengguo. editor. Khemiri-Kallel, Sondès. editor. Cérin, Christophe. editor. Hsu, Ching-Hsien. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-05081-8

Format:

Availability

Online Library~1

Available:
Copies:

18.

Cover image for Internet of Things (IoT) Technologies for HealthCare 4th International Conference, HealthyIoT 2017, Angers, France, October 24-25, 2017, Proceedings

Internet of Things (IoT) Technologies for HealthCare 4th International Conference, HealthyIoT 2017, Angers, France, October 24-25, 2017, Proceedings

Internet of Things (IoT) Technologies for HealthCare 4th International Conference, HealthyIoT 2017, Angers, France, October 24-25, 2017, Proceedings

Author

Ahmed, Mobyen Uddin. editor. Begum, Shahina. editor. (orcid)0000-0002-1212-7637 Fasquel, Jean-Baptiste. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for Principles and Practice of Constraint Programming 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings

Principles and Practice of Constraint Programming 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings

Principles and Practice of Constraint Programming 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings

Author

Hooker, John. editor. (orcid)0000-0003-3169-1871 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers

Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers

Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers

Author

Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948 Ober, Iulian. editor. Salaün, Gwen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-04771-9

Format:

Availability

Online Library~1

Available:
Copies:

21.

Cover image for Ad-hoc, Mobile, and Wireless Networks 17th International Conference on Ad Hoc Networks and Wireless, ADHOC-NOW 2018, Saint-Malo, France, September 5-7, 2018. Proceedings

Ad-hoc, Mobile, and Wireless Networks 17th International Conference on Ad Hoc Networks and Wireless, ADHOC-NOW 2018, Saint-Malo, France, September 5-7, 2018. Proceedings

Ad-hoc, Mobile, and Wireless Networks 17th International Conference on Ad Hoc Networks and Wireless, ADHOC-NOW 2018, Saint-Malo, France, September 5-7, 2018. Proceedings

Author

Montavont, Nicolas. editor. Papadopoulos, Georgios Z. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

22.

Cover image for Computer Performance Engineering 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings

Computer Performance Engineering 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings

Computer Performance Engineering 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings

Author

Bakhshi, Rena. editor. Ballarini, Paolo. editor. Barbot, Benoît. editor. Castel-Taleb, Hind. editor. Remke, Anne. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

23.

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:

24.

Cover image for Search-Based Software Engineering 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings

Search-Based Software Engineering 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings

Search-Based Software Engineering 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings

Author

Colanzi, Thelma Elita. editor. (orcid)0000-0001-9761-1999 McMinn, Phil. editor. (orcid)0000-0001-9137-7433 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 .. 16

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11