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:

+

Konu: 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.

25.

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:

26.

Cover image for Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings

Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings

Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings

Author

Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Seiler, Werner M. editor. (orcid)0000-0002-0565-1334 Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

27.

Cover image for Information and Communications Security 20th International Conference, ICICS 2018, Lille, France, October 29-31, 2018, Proceedings

Information and Communications Security 20th International Conference, ICICS 2018, Lille, France, October 29-31, 2018, Proceedings

Information and Communications Security 20th International Conference, ICICS 2018, Lille, France, October 29-31, 2018, Proceedings

Author

Naccache, David. editor. (orcid)0000-0002-8651-6555 Xu, Shouhuai. editor. (orcid)0000-0001-8034-0942 Qing, Sihan. editor. Samarati, Pierangela. editor. (orcid)0000-0001-7395-4620 Blanc, Gregory. editor. (orcid)0000-0001-8150-6617

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-01950-1

Format:

Availability

Online Library~1

Available:
Copies:

28.

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:

29.

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:

30.

Cover image for Theory and Practice of Model Transformation 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings

Theory and Practice of Model Transformation 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings

Theory and Practice of Model Transformation 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings

Author

Rensink, Arend. editor. (orcid)0000-0002-1714-6319 Sánchez Cuadrado, Jesús. editor. (orcid)0000-0001-9755-5616 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-93317-7

Format:

Availability

Online Library~1

Available:
Copies:

31.

Cover image for Unconventional Computation and Natural Computation 17th International Conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018, Proceedings

Unconventional Computation and Natural Computation 17th International Conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018, Proceedings

Unconventional Computation and Natural Computation 17th International Conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018, Proceedings

Author

Stepney, Susan. editor. (orcid)0000-0003-3146-5401 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-92435-9

Format:

Availability

Online Library~1

Available:
Copies:

32.

Cover image for Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings

Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings

Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings

Author

Giannakopoulou, Dimitra. editor. Salaün, Gwen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-10431-7

Format:

Availability

Online Library~1

Available:
Copies:

33.

Cover image for Service-Oriented Computing 12th International Conference, ICSOC 2014, Paris, France, November 3-6, 2014, Proceedings

Service-Oriented Computing 12th International Conference, ICSOC 2014, Paris, France, November 3-6, 2014, Proceedings

Service-Oriented Computing 12th International Conference, ICSOC 2014, Paris, France, November 3-6, 2014, Proceedings

Author

Franch, Xavier. editor. Ghose, Aditya K. editor. Lewis, Grace A. editor. Bhiri, Sami. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-45391-9

Format:

Availability

Online Library~1

Available:
Copies:

34.

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:

35.

Cover image for From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings

From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings

From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings

Author

Bensalem, Saddek. editor. Lakhnech, Yassine. editor. Legay, Axel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-642-54848-2

Format:

Availability

Online Library~1

Available:
Copies:

36.

Cover image for Engineering Multi-Agent Systems Second International Workshop, EMAS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers

Engineering Multi-Agent Systems Second International Workshop, EMAS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers

Engineering Multi-Agent Systems Second International Workshop, EMAS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers

Author

Dalpiaz, Fabiano. editor. (orcid)0000-0003-4480-3887 Dix, Jürgen. editor. van Riemsdijk, M. Birna. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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