Search Results for Netherlands

Skip to:Search Results

|

|

|

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Konu: Software engineering.

Author

SpringerLink (Online service)

(95)

Boer, Frank S. editor.

(5)

Bonsangue, Marcello M. editor.

(5)

Graf, Susanne. editor.

(4)

Proper, Erik. editor.

(4)

Roever, Willem-Paul. editor.

(4)

Barjis, Joseph. editor.

(3)

Rensink, Arend. editor.

(3)

Dietz, Jan L. G. editor.

(2)

Dignum, Virginia. editor.

(2)

Eekelen, Marko. editor.

(2)

Harmsen, Frank. editor.

(2)

Lin, Hai-Xiang. editor.

(2)

Overbeek, Sietse. editor.

(2)

Padget, Julian. editor.

(2)

Pol, Jaco. editor.

(2)

Sinderen, Marten. editor.

(2)

Wijs, Anton. editor.

(2)

Wong, Stephan. editor.

(2)

Zambonelli, Franco. editor.

(2)

Abran, Alain. editor.

(1)

Agha, Gul. editor.

(1)

Aghajan, Hamid. editor.

(1)

Aksit, Mehmet. editor.

(1)

Albani, Antonia. editor.

(1)

Aldewereld, Huib. editor.

(1)

Aldini, Alessandro. editor. (orcid)0000-0002-7250-5011

(1)

Alexander, Michael. editor.

(1)

Aloni, Maria. editor.

(1)

Alpuente, María. editor.

(1)

Altmann, Jörn. editor.

(1)

André, Étienne. editor. (orcid)0000-0001-8473-9555

(1)

Ariwa, Ezendu. editor.

(1)

Augusto, Juan Carlos. editor.

(1)

Aydoğan, Reyhan. editor.

(1)

Aßmann, Uwe. editor.

(1)

Baarslag, Tim. editor.

(1)

Baker, Paul. editor.

(1)

Baldoni, Matteo. editor.

(1)

Barbosa, Simone. editor.

(1)

Barthe, Gilles. editor.

(1)

Bartneck, Christoph. editor.

(1)

Bastiaanse, Harald. editor.

(1)

Beck, Antonio Carlos. editor.

(1)

Benatallah, Boualem. editor.

(1)

Berekovic, Mladen. editor.

(1)

Berg, Hans. editor.

(1)

Bertels, Koen. editor.

(1)

Blankertz, Benjamin. editor.

(1)

Boissier, Olivier. editor.

(1)

Bordini, Rafael H. editor.

(1)

Bosems, Steven. editor.

(1)

Bošnački, Dragan. editor.

(1)

Brand, Mark. editor.

(1)

Braungarten, René. editor.

(1)

Broccia, Giovanna. editor. (orcid)0000-0002-4737-5761

(1)

Brueckner, Sven A. editor.

(1)

Brunekreef, Jacob. editor.

(1)

Bubak, Marian. editor.

(1)

Buyya, Rajkumar. editor.

(1)

Carro, Luigi. editor.

(1)

Casati, Fabio. editor.

(1)

Castellani, Ilaria. editor. (orcid)0000-0001-9820-0892

(1)

Castiglioni, Valentina. editor. (orcid)0000-0002-8112-6523

(1)

Cavalcanti, Ana. editor.

(1)

Cerone, Antonio. editor. (orcid)0000-0003-2691-5279

(1)

Chechik, Marsha. editor. (orcid)0000-0002-6301-3517

(1)

Cheok, Adrian. editor.

(1)

Clarke, Dave. editor.

(1)

Cook, Byron. editor.

(1)

Cordeiro, José. editor.

(1)

Cossentino, Massimo. editor.

(1)

Cranefield, Stephen. editor.

(1)

Cuadrado-Gallego, Juan J. editor.

(1)

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

(1)

Dams, Dennis R. editor.

(1)

Daniel, Florian. editor.

(1)

Das, Vinu V. editor.

(1)

Dastani, Mehdi M. editor.

(1)

Dignum, Frank P. M. editor.

(1)

Dix, Jürgen. editor.

(1)

Dumke, Reiner R. editor.

(1)

Eggen, Berry. editor.

(1)

Ehrig, Hartmut. editor.

(1)

Eichler, Gerald. editor. (orcid)0000-0002-7420-698X

(1)

Eijk, Rogier M. editor.

(1)

Eliassen, Frank. editor.

(1)

Endriss, Ulle. editor.

(1)

Englebienne, Gwenn. editor.

(1)

Epema, Dick. editor.

(1)

Erfurth, Christian. editor. (orcid)0000-0003-2761-3985

(1)

Evers, Vanessa. editor.

(1)

Fahrnberger, Günter. editor.

(1)

Fallah Seghrouchni, Amal. editor.

(1)

Farshidi, Siamak. editor. (orcid)0000-0003-3270-4398

(1)

Filipe, Joaquim. editor.

(1)

Flores, Roberto. editor.

(1)

Folmer, Erwin. editor.

(1)

Forsell, Martti. editor.

(1)

Francalanza, Adrian. editor. (orcid)0000-0003-3829-7391

(1)

Gaaloul, Walid. editor. (orcid)0000-0003-0451-532X

(1)

Gamberini, Luciano. editor.

(1)

Gerding, Enrico. editor.

(1)

Geuvers, Herman. editor.

(1)

Ghanea-Hercock, Robert. editor.

(1)

Gibbons, Jeremy. editor.

(1)

Glinz, Martin. editor.

(1)

Gregory, Peggy. editor. (orcid)0000-0001-7891-6666

(1)

Hage, Jurriaan. editor.

(1)

Hales, David. editor.

(1)

Hallerstede, Stefan. editor.

(1)

Halpin, Terry. editor.

(1)

Ham, Jaap. editor.

(1)

Ham, Jaap. editor. (orcid)0000-0003-1703-5165

(1)

Harmer, Russ. editor. (orcid)0000-0002-0817-1029

(1)

Hartman, Alan. editor.

(1)

Hatcliff, John. editor.

(1)

Heegaard, Poul E. editor.

(1)

Heijenk, Geert. editor.

(1)

Herber, Paula. editor.

(1)

Herrmann, Thomas. editor.

(1)

Heymans, Patrick. editor.

(1)

Hildebrandt, Thomas. editor.

(1)

Hochberger, Christian. editor.

(1)

Hoekstra, Alfons G. editor.

(1)

Hoepman, Jaap-Henk. editor.

(1)

Horkoff, Jennifer. editor. (orcid)0000-0002-2019-5277

(1)

Hoven, Elise. editor.

(1)

Hoßfeld, Tobias. editor.

(1)

Hyrynsalmi, Sonja. editor. (orcid)0000-0002-1715-6250

(1)

IJsselsteijn, Wijnand A. editor.

(1)

Jacobs, Bart. editor.

(1)

Jacucci, Giulio. editor.

(1)

Jager, Tikitu. editor.

(1)

Jansen, Slinger. editor. (orcid)0000-0003-3752-2868

(1)

Jonker, Catholijn M. editor.

(1)

Joubert, Christophe. editor.

(1)

Julian, Vicente. editor.

(1)

Kaisers, Michael. editor.

(1)

Kamsties, Erik. editor. (orcid)0000-0002-7373-8466

(1)

Kanda, Takayuki. editor.

(1)

Kapitza, Rüdiger. editor.

(1)

Keyson, David V. editor.

(1)

Knüpfer, Andreas. editor.

(1)

Kokkinou, Alinda. editor. (orcid)0000-0001-7991-2253

(1)

Kolfschoten, Gwendolyn. editor.

(1)

Koopman, Pieter. editor.

(1)

Kort, Yvonne A. W. editor.

(1)

Kosiol, Jens. editor. (orcid)0000-0003-4733-2777

(1)

Kosters, Walter A. editor.

(1)

Kosters, Walter. editor.

(1)

Krogstie, John. editor.

(1)

Kruchten, Philippe. editor.

(1)

Kröse, Ben J. A. editor.

(1)

Kuipers, Fernando A. editor.

(1)

Lamers, Maarten H. editor.

(1)

Lange, Tanja. editor.

(1)

Langendoen, Koen. editor.

(1)

Lankhorst, Marc M. editor.

(1)

Larsen, Kim Guldstrand. editor.

(1)

Lee, Edward A. editor. (orcid)0000-0002-5663-0584

(1)

Leuschel, Michael. editor.

(1)

Lindemann, Gabriela. editor.

(1)

Livshits, Benjamin. editor.

(1)

Lucanu, Dorel. editor.

(1)

Lukosch, Stephan. editor.

(1)

Löding, Christof. editor.

(1)

Maher, Mary Lou. editor.

(1)

Mahmoud, Samhar. editor.

(1)

Malloy, Brian. editor.

(1)

Markopoulos, Panos. editor.

(1)

Martins, Rolando. editor. (orcid)0000-0002-1838-1417

(1)

Marzo Serugendo, Giovanna. editor.

(1)

Matson, Eric. editor.

(1)

McDermott, Olivia. editor. (orcid)0000-0001-5714-4601

(1)

Merayo, Mercedes G. editor.

(1)

Midden, Cees. editor.

(1)

Morazán, Marco T. editor.

(1)

Mousavi, Mohammad Reza. editor. (orcid)0000-0002-4869-6794

(1)

Mutlu, Bilge. editor.

(1)

Müller, Jörg P. editor.

(1)

Müller-Schloer, Christian. editor.

(1)

Münch, Jürgen. editor.

(1)

Nurcan, Selmin. editor.

(1)

Núñez, Manuel. editor.

(1)

Oliveira, José Nuno. editor.

(1)

Omicini, Andrea. editor.

(1)

Osipov, Evgeny. editor.

(1)

Ossowski, Sascha. editor.

(1)

Oude Luttighuis, Paul. editor.

(1)

Paige, Richard F. editor.

(1)

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

(1)

Papatheocharous, Efi. editor. (orcid)0000-0002-5157-8131

(1)

Paternò, Fabio. editor.

(1)

Pautasso, Cesare. editor.

(1)

Phillipson, Frank. editor. (orcid)0000-0003-4580-7521

(1)

Picard, Gauthier. editor.

(1)

Plaat, Aske. editor.

(1)

Plasmeijer, Rinus. editor.

(1)

Pras, Aiko. editor.

(1)

Language

(95)

Publication Date

-

(16)

(13)

(10)

(10)

(10)

(7)

(6)

(5)

(5)

(3)

(3)

(2)

(2)

(2)

(1)

Subject

Computer science.

(71)

Computer Communication Networks.

(38)

Artificial intelligence.

(29)

(26)

Information systems.

(20)

Operating systems (Computers).

(13)

Computer software.

(12)

Information storage and retrieval systems.

(12)

Computer networks .

(10)

Application software.

(9)

Computer and Information Systems Applications.

(9)

Compilers (Computer programs).

(8)

Compilers and Interpreters.

(8)

Computer simulation.

(8)

Management information systems.

(8)

Theory of Computation.

(8)

Computer Science Logic and Foundations of Programming.

(7)

(6)

Information theory.

(6)

Computer network architectures.

(5)

Data structures (Computer science).

(5)

Formal Languages and Automata Theory.

(5)

Machine theory.

(5)

Social sciences -- Data processing.

(5)

Special Purpose and Application-Based Systems.

(5)

(4)

Business information services.

(4)

Computer programming.

(4)

Computers, Special purpose.

(4)

Programming Techniques.

(4)

Computer system performance.

(3)

Computer vision.

(3)

(3)

Data Structures and Information Theory.

(3)

Data encryption (Computer science).

(3)

Data protection.

(3)

IT in Business.

(3)

Information Systems.

(3)

Operating Systems.

(3)

Algebra -- Data processing.

(2)

Business Information Systems.

(2)

Coding and Information Theory.

(2)

(2)

Computational complexity.

(2)

Computer Appl. in Administrative Data Processing.

(2)

Computer Application in Social and Behavioral Sciences.

(2)

Computer Engineering and Networks.

(2)

Computer System Implementation.

(2)

Computer engineering.

(2)

Computer science -- Mathematics.

(2)

Computer systems.

(2)

(2)

Database management.

(2)

Discrete Mathematics in Computer Science.

(2)

Discrete mathematics.

(2)

Electronic data processing -- Management.

(2)

Human-computer interaction.

(2)

(2)

Information Storage and Retrieval.

(2)

Telecommunication.

(2)

User Interfaces and Human Computer Interaction.

(2)

User interfaces (Computer systems).

(2)

Computer Application in Administrative Data Processing.

(1)

Computer Hardware.

(1)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(1)

Computer Modelling.

(1)

Computer graphics.

(1)

Computer industry.

(1)

Computer logic.

(1)

Computer security.

(1)

Computing Milieux.

(1)

(1)

(1)

Data Encryption.

(1)

Data and Information Security.

(1)

Design and Analysis of Algorithms.

(1)

Economics/Management Science.

(1)

Electronic digital computers -- Evaluation.

(1)

Entrepreneurship.

(1)

Image processing -- Digital techniques.

(1)

Information Systems Applications (incl. Internet).

(1)

Information technology -- Management.

(1)

Models of Computation.

(1)

New business enterprises.

(1)

Programming languages (Electronic computers).

(1)

Special purpose computers.

(1)

System Performance and Evaluation.

(1)

Systems and Data Security.

(1)

The Computer Industry.

(1)

e-Commerce/e-business.

(1)

Material Type

Shelf Location

Electronic Library

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

95 Results Found

Subscribe to search results

1 2 3 4 5 .. 8

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 Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings

Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings

Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings

Author

Larsen, Kim Guldstrand. editor. Willemse, Tim. editor. (orcid)0000-0003-3049-7962 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-27008-7

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings

Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings

Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings

Author

André, Étienne. editor. (orcid)0000-0001-8473-9555 Stoelinga, Mariëlle. editor. (orcid)0000-0001-6793-8165 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Symbiotic Interaction 6th International Workshop, Symbiotic 2017, Eindhoven, The Netherlands, December 18–19, 2017, Revised Selected Papers

Symbiotic Interaction 6th International Workshop, Symbiotic 2017, Eindhoven, The Netherlands, December 18–19, 2017, Revised Selected Papers

Symbiotic Interaction 6th International Workshop, Symbiotic 2017, Eindhoven, The Netherlands, December 18–19, 2017, Revised Selected Papers

Author

Ham, Jaap. editor. (orcid)0000-0003-1703-5165 Spagnolli, Anna. editor. Blankertz, Benjamin. editor. Gamberini, Luciano. editor. Jacucci, Giulio. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Requirements Engineering: Foundation for Software Quality 24th International Working Conference, REFSQ 2018, Utrecht, The Netherlands, March 19-22, 2018, Proceedings

Requirements Engineering: Foundation for Software Quality 24th International Working Conference, REFSQ 2018, Utrecht, The Netherlands, March 19-22, 2018, Proceedings

Requirements Engineering: Foundation for Software Quality 24th International Working Conference, REFSQ 2018, Utrecht, The Netherlands, March 19-22, 2018, Proceedings

Author

Kamsties, Erik. editor. (orcid)0000-0002-7373-8466 Horkoff, Jennifer. editor. (orcid)0000-0002-2019-5277 Dalpiaz, Fabiano. editor. (orcid)0000-0003-4480-3887 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Advances in Computer Games 15th International Conferences, ACG 2017, Leiden, The Netherlands, July 3-5, 2017, Revised Selected Papers

Advances in Computer Games 15th International Conferences, ACG 2017, Leiden, The Netherlands, July 3-5, 2017, Revised Selected Papers

Advances in Computer Games 15th International Conferences, ACG 2017, Leiden, The Netherlands, July 3-5, 2017, Revised Selected Papers

Author

Winands, Mark H.M. editor. (orcid)0000-0002-0125-0824 van den Herik, H. Jaap. editor. Kosters, Walter A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for End-User Development 6th International Symposium, IS-EUD 2017, Eindhoven, The Netherlands, June 13-15, 2017, Proceedings

End-User Development 6th International Symposium, IS-EUD 2017, Eindhoven, The Netherlands, June 13-15, 2017, Proceedings

End-User Development 6th International Symposium, IS-EUD 2017, Eindhoven, The Netherlands, June 13-15, 2017, Proceedings

Author

Barbosa, Simone. editor. Markopoulos, Panos. editor. Paternò, Fabio. editor. Stumpf, Simone. editor. Valtolina, Stefano. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Coordination, Organizations, Institutions, and Norms in Agent Systems XII COIN 2016 International Workshops, COIN@AAMAS, Singapore, Singapore, May 9, 2016, COIN@ECAI, The Hague, The Netherlands, August 30, 2016, Revised Selected Papers

Coordination, Organizations, Institutions, and Norms in Agent Systems XII COIN 2016 International Workshops, COIN@AAMAS, Singapore, Singapore, May 9, 2016, COIN@ECAI, The Hague, The Netherlands, August 30, 2016, Revised Selected Papers

Coordination, Organizations, Institutions, and Norms in Agent Systems XII COIN 2016 International Workshops, COIN@AAMAS, Singapore, Singapore, May 9, 2016, COIN@ECAI, The Hague, The Netherlands, August 30, 2016, Revised Selected Papers

Author

Cranefield, Stephen. editor. Mahmoud, Samhar. editor. Padget, Julian. editor. Rocha, Ana Paula. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Conflict Resolution in Decision Making Second International Workshop, COREDEMA 2016, The Hague, The Netherlands, August 29-30, 2016, Revised Selected Papers

Conflict Resolution in Decision Making Second International Workshop, COREDEMA 2016, The Hague, The Netherlands, August 29-30, 2016, Revised Selected Papers

Conflict Resolution in Decision Making Second International Workshop, COREDEMA 2016, The Hague, The Netherlands, August 29-30, 2016, Revised Selected Papers

Author

Aydoğan, Reyhan. editor. Baarslag, Tim. editor. Gerding, Enrico. editor. Jonker, Catholijn M. editor. Julian, Vicente. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Post-Quantum Cryptography 8th International Workshop, PQCrypto 2017, Utrecht, The Netherlands, June 26-28, 2017, Proceedings

Post-Quantum Cryptography 8th International Workshop, PQCrypto 2017, Utrecht, The Netherlands, June 26-28, 2017, Proceedings

Post-Quantum Cryptography 8th International Workshop, PQCrypto 2017, Utrecht, The Netherlands, June 26-28, 2017, Proceedings

Author

Lange, Tanja. editor. Takagi, Tsuyoshi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Applied Reconfigurable Computing 13th International Symposium, ARC 2017, Delft, The Netherlands, April 3-7, 2017, Proceedings

Applied Reconfigurable Computing 13th International Symposium, ARC 2017, Delft, The Netherlands, April 3-7, 2017, Proceedings

Applied Reconfigurable Computing 13th International Symposium, ARC 2017, Delft, The Netherlands, April 3-7, 2017, Proceedings

Author

Wong, Stephan. editor. Beck, Antonio Carlos. editor. Bertels, Koen. editor. Carro, Luigi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Model Checking Software 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings

Model Checking Software 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings

Model Checking Software 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings

Author

Bošnački, Dragan. editor. Wijs, Anton. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Programming Languages and Systems 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Programming Languages and Systems 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Programming Languages and Systems 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Author

Thiemann, Peter. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-49498-1

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 .. 8

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11