Search Results for The state.

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:

+

Subject: Software engineering.

Author

SpringerLink (Online service)

(72)

Lee, Roger. editor.

(4)

Ao, Sio-Iong. editor.

(3)

Dimitrova, Rayna. editor.

(2)

Dongarra, Jack. editor.

(2)

Lahav, Ori. editor. (orcid)0000-0003-4305-6998

(2)

Latifi, Shahram. editor.

(2)

Waśniewski, Jerzy. editor.

(2)

Wolff, Sebastian. editor.

(2)

Yang, Gi-Chul. editor.

(2)

Ahrendt, Wolfgang. editor.

(1)

Al-Akkad, Amro. author.

(1)

Alebrahim, Azadeh. author.

(1)

Amouzegar, Mahyar A. editor.

(1)

Anslow, Craig. editor.

(1)

Arbel, Eli. editor.

(1)

Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448

(1)

Barriga Barros, Ángel. editor. (orcid)0000-0001-6673-6684

(1)

Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291

(1)

Benavides, David. author.

(1)

Biro, Miklos. editor.

(1)

Blazy, Sandrine. editor.

(1)

Bloem, Roderick. editor.

(1)

Boca, Paul. editor.

(1)

Bodden, Eric. editor.

(1)

Botti, Vicente. author.

(1)

Boucheneb, Hanifa. editor.

(1)

Bowen, Jonathan P. editor.

(1)

Bowen, Judy. editor.

(1)

Brox Jiménez, Piedad. editor. (orcid)0000-0003-1059-5338

(1)

Broy, Manfred. editor.

(1)

Bubel, Richard. editor.

(1)

Butler, Michael. editor.

(1)

Cajander, Åsa. editor.

(1)

Campos, Pedro. editor.

(1)

Carayol, Arnaud. editor.

(1)

Carlet, Claude. editor. (orcid)0000-0002-6118-7927

(1)

Castillo, Oscar. editor.

(1)

Cavallucci, Denis. editor. (orcid)0000-0003-1815-5601

(1)

Chaganti, Ravikanth. author.

(1)

Chapman, Barbara. editor.

(1)

Chechik, Marsha. editor.

(1)

Chen, Chaomei. author.

(1)

Chen, Min. author.

(1)

Chen, Wenguang. editor.

(1)

Cheung, Shing-Chi. author. (orcid)0000-0002-3508-7172

(1)

Cockton, Gilbert. editor.

(1)

Daembkes, Heinrich. editor.

(1)

Dajsuren, Yanja. editor.

(1)

Dazzi, Patrizio. author.

(1)

Dix, Alan. editor.

(1)

Ducq, Yves. editor. (orcid)0000-0001-5144-5876

(1)

Dustdar, Schahram. author.

(1)

Elmroth, Erik. editor.

(1)

Exman, Iaakov. editor. (orcid)0000-0002-9917-3950

(1)

Falkner, Andreas. author.

(1)

Felderer, Michael. editor.

(1)

Felderer, Michael. editor. (orcid)0000-0003-3818-4442

(1)

Felfernig, Alexander. author.

(1)

Feng, Jun. editor. (orcid)0000-0001-9917-1819

(1)

Fill, Hans-Georg. editor. (orcid)0000-0001-5076-5341

(1)

Freeman, Adam. author.

(1)

Freudenthaler, Bernhard. author.

(1)

Gao, Guang R. editor.

(1)

Gao, Xinbo. editor.

(1)

Garcia, Emilia. author.

(1)

Geist, Verena. author.

(1)

Gelman, Len. editor.

(1)

Giorgi, Roberto. editor. (orcid)0000-0003-0384-8229

(1)

Giret, Adriana. author.

(1)

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

(1)

Gurfinkel, Arie. editor.

(1)

Ha, Soonhoi. editor.

(1)

Hague, Matthew. editor.

(1)

Haller, Philipp. editor.

(1)

Hasan, M. Anwar. editor.

(1)

Hasselbring, Wilhelm. editor. (orcid)0000-0001-6625-4335

(1)

He, Songlin. editor. (orcid)0000-0002-7269-5644

(1)

Herber, Paula. editor.

(1)

Herdt, Vladimir. author.

(1)

Huang, Xu. editor.

(1)

Hung, Jason C. editor.

(1)

Hähnle, Reiner. editor.

(1)

Hönninger, Harald. editor.

(1)

Illibauer, Christa. author.

(1)

Jardim-Gonçalves, Ricardo. editor.

(1)

Jelasity, Márk. editor.

(1)

Jorge, Joaquim. editor.

(1)

Kacprzyk, Janusz. editor.

(1)

Kalyvianaki, Evangelia. editor.

(1)

Katsikas, Sokratis. editor. (orcid)0000-0003-2966-9683

(1)

Kephart, Jeffrey O. editor.

(1)

Kersting, Kristian. editor.

(1)

Kharchenko, Vyacheslav. editor.

(1)

Kim, Haeng Kon. editor.

(1)

Klügl, Franziska. editor.

(1)

Kolesnikov, Andrey. author.

(1)

Kondratenko, Yuriy. editor.

(1)

Kopetzky, Theodorich. author.

(1)

Kossak, Felix. author.

(1)

Kotsialos, Apostolos. editor.

(1)

Kounev, Samuel. editor.

(1)

Koziolek, Heiko. editor.

(1)

Kunze, Matthias. author.

(1)

Kågström, Bo. editor.

(1)

Kühn, Harald. editor.

(1)

Leon, Ramona-Diana. editor.

(1)

Li, Kuan-Ching. editor.

(1)

Lilienthal, Carola. editor.

(1)

Lárusdóttir, Marta. editor.

(1)

Lässig, Jörg. editor.

(1)

Madsen, Kaj. editor.

(1)

Mahmood, Zaigham. editor.

(1)

Manderscheid, Brad. author.

(1)

Mashkoor, Atif. editor. (orcid)0000-0003-1210-5953

(1)

Matthes, Florian. editor.

(1)

Mazzara, Manuel. editor.

(1)

McCluskey, Thomas Leo. editor.

(1)

Mendonça, João P. editor.

(1)

Mertins, Kai. editor.

(1)

Meyer, Bertrand. editor.

(1)

Milenkoski, Aleksandar. editor.

(1)

Mili, Ali. editor.

(1)

Morazán, Marco T. author.

(1)

Morik, Katharina. editor.

(1)

Motta, Gianmario. editor.

(1)

Müller, Jörg P. editor.

(1)

Müller-Schloer, Christian. author.

(1)

Nastić, Stefan. author.

(1)

Natschläger, Christine. author.

(1)

Neubauer, Matthias. editor.

(1)

Nicaud, Cyril. editor.

(1)

Palanque, Philippe. editor. (orcid)0000-0002-5381-971X

(1)

Piattini, Mario. editor. (orcid)0000-0002-7212-8279

(1)

Pitropakis, Nikolaos. editor. (orcid)0000-0002-3392-9970

(1)

Pohl, Klaus. editor.

(1)

Popplewell, Keith. editor.

(1)

Potapov, Igor. editor.

(1)

Prechelt, Lutz. editor.

(1)

Pérez-Castillo, Ricardo. editor. (orcid)0000-0002-9271-3184

(1)

Qian, Depei. editor.

(1)

Ramachandran, Muthu. editor.

(1)

Rana, Omer. editor.

(1)

Ricci, Alessandro. editor.

(1)

Rodríguez-Rodríguez, Raúl. editor.

(1)

Romero, David. editor.

(1)

Rumpe, Bernhard. author.

(1)

Rumpe, Bernhard. editor.

(1)

Saraswat, Vishal. editor.

(1)

Schaefer, Ina. editor.

(1)

Schewe, Klaus-Dieter. author.

(1)

Schewe, Klaus-Dieter. editor.

(1)

Schmitt, Peter H. editor.

(1)

Schumann, René. editor.

(1)

Seshia, Sanjit A. editor.

(1)

Siddiqi, Jawed. editor.

(1)

Song, Min. author.

(1)

Stary, Christian. editor. (orcid)0000-0001-9764-5021

(1)

Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558

(1)

Stojilović, Mirjana. editor. (orcid)0000-0001-5649-5020

(1)

Strichman, Ofer. editor.

(1)

Stroobandt, Dirk. editor. (orcid)0000-0002-4477-5313

(1)

Sullivan, Dan, 1962-

(1)

Tahar, Sofiène. editor.

(1)

Teich, Jürgen. editor.

(1)

Tollefson, Margot. author.

(1)

Tomforde, Sven. author.

(1)

Tzoref-Brill, Rachel. editor.

(1)

Ulbrich, Mattias. editor.

(1)

Wang, Ying. author.

(1)

Weske, Mathias. author.

(1)

Weyers, Benjamin. editor. (orcid)0000-0003-4785-708X

(1)

Woeginger, Gerhard. editor.

(1)

Wu, Bing. editor.

(1)

Yen, Neil Y. editor.

(1)

Youn, Chan-Hyun. author.

(1)

Yu, Hai. author. (orcid)0000-0002-8024-1781

(1)

Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853

(1)

Zhu, Xiaoyun. editor.

(1)

Zhu, Zhiliang. author.

(1)

Ziebermayr, Thomas. author.

(1)

van den Brand, Mark. editor.

(1)

van der Aalst, Wil M. P. author.

(1)

Šćekić, Ognjen. author.

(1)

Language

(73)

Publication Date

-

(22)

(20)

(12)

(5)

(5)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Subject

Artificial intelligence.

(21)

Computer science.

(19)

Computer networks .

(14)

Application software.

(13)

Computer and Information Systems Applications.

(12)

Formal Languages and Automata Theory.

(10)

Machine theory.

(10)

Computational intelligence.

(9)

Computer Science Logic and Foundations of Programming.

(9)

Compilers (Computer programs).

(8)

Compilers and Interpreters.

(8)

Computer Communication Networks.

(8)

Computer engineering.

(7)

Computer Engineering and Networks.

(6)

Information technology -- Management.

(6)

(5)

Computer science -- Mathematics.

(5)

Software Management.

(5)

Software engineering -- Management.

(5)

Theory of Computation.

(5)

Business Process Management.

(4)

Business information services.

(4)

Communications Engineering, Networks.

(4)

Telecommunication.

(4)

Computer Application in Administrative Data Processing.

(3)

Computer Modelling.

(3)

Computer programming.

(3)

Computer simulation.

(3)

Computer vision.

(3)

Computers, Special purpose.

(3)

Control Structures and Microprogramming.

(3)

Data Mining and Knowledge Discovery.

(3)

Data and Information Security.

(3)

(3)

Data protection.

(3)

Electronic data processing -- Management.

(3)

Human-computer interaction.

(3)

(3)

Information Storage and Retrieval.

(3)

Information storage and retrieval systems.

(3)

Mathematics of Computing.

(3)

Microprogramming .

(3)

Programming Techniques.

(3)

(3)

Special Purpose and Application-Based Systems.

(3)

User Interfaces and Human Computer Interaction.

(3)

User interfaces (Computer systems).

(3)

(2)

Automotive engineering.

(2)

Computer Hardware.

(2)

Computer architecture.

(2)

Computer software.

(2)

(2)

Control engineering.

(2)

Control, Robotics, Automation.

(2)

Cooperating objects (Computer systems).

(2)

Cyber-Physical Systems.

(2)

IT in Business.

(2)

Industrial Management.

(2)

Industrial and Production Engineering.

(2)

Industrial engineering.

(2)

Innovation and Technology Management.

(2)

Internet of things.

(2)

(2)

Logic programming.

(2)

Microprocessors.

(2)

Microsoft .NET Framework.

(2)

Microsoft software.

(2)

(2)

Models of Computation.

(2)

Processor Architectures.

(2)

Production engineering.

(2)

Programming languages (Electronic computers).

(2)

Technological innovations.

(2)

Aerospace Technology and Astronautics.

(1)

Aerospace engineering.

(1)

(1)

Artificial intelligence -- Data processing.

(1)

(1)

(1)

Building Types and Functions.

(1)

Business Information Systems.

(1)

Business—Data processing.

(1)

COMPUTERS -- Distributed Systems -- Cloud Computing.

(1)

Cloud Computing.

(1)

Cloud computing

(1)

Cloud computing.

(1)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(1)

Computer games -- Programming.

(1)

Computer network architectures.

(1)

(1)

(1)

(1)

Data encryption (Computer science).

(1)

Data protection -- Law and legislation.

(1)

Database management.

(1)

Education and state.

(1)

Educational policy.

(1)

Electronic Circuits and Systems.

(1)

Electronic circuits.

(1)

Electronic data processing personnel -- Certification

(1)

Electronic data processing personnel -- Certification -- Study guides.

(1)

Electronic digital computers -- Evaluation.

(1)

Electronics and Microelectronics, Instrumentation.

(1)

(1)

Embedded computer systems.

(1)

Energy Policy, Economics and Management.

(1)

Energy and state.

(1)

(1)

Engineering -- Data processing.

(1)

Engineering design.

(1)

Engineering mathematics.

(1)

(1)

Enterprise Architecture.

(1)

Game Development.

(1)

Guides de l'étudiant.

(1)

Génie logiciel.

(1)

Human-machine systems.

(1)

Image processing -- Digital techniques.

(1)

(1)

Information Systems and Communication Service.

(1)

Information systems.

(1)

Information technology.

(1)

Interaction Design.

(1)

Mathematical Modeling and Industrial Mathematics.

(1)

Mathematical and Computational Engineering Applications.

(1)

Mathematical models.

(1)

Mathematical physics.

(1)

(1)

Natural Language Processing (NLP).

(1)

Natural language processing (Computer science).

(1)

Operating Systems.

(1)

Operating systems (Computers).

(1)

(1)

(1)

Programming Language.

(1)

Quantum Computing.

(1)

Quantum computers.

(1)

Renewable Energy.

(1)

Renewable energy sources.

(1)

Software Engineering/Programming and Operating Systems.

(1)

Software engineering

(1)

Special purpose computers.

(1)

(1)

(1)

System Performance and Evaluation.

(1)

Theoretical, Mathematical and Computational Physics.

(1)

examination study guides.

(1)

Material Type

Shelf Location

Electronic Library

Wiley E-Book Collection

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

73 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 Integrating User-Centred Design in Agile Development

Integrating User-Centred Design in Agile Development

Integrating User-Centred Design in Agile Development

Author

Cockton, Gilbert. editor. Lárusdóttir, Marta. editor. Gregory, Peggy. editor. (orcid)0000-0001-7891-6666 Cajander, Åsa. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

50.

Cover image for Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

Author

Blazy, Sandrine. editor. Chechik, Marsha. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

51.

Cover image for Hardware and Software: Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings

Hardware and Software: Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings

Hardware and Software: Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings

Author

Bloem, Roderick. editor. Arbel, Eli. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

52.

Cover image for Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

Author

Butler, Michael. editor. Schewe, Klaus-Dieter. editor. Mashkoor, Atif. editor. (orcid)0000-0003-1210-5953 Biro, Miklos. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

53.

Cover image for Computational Sustainability

Computational Sustainability

Computational Sustainability

Author

Lässig, Jörg. editor. Kersting, Kristian. editor. Morik, Katharina. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

54.

Cover image for Distributed Applications and Interoperable Systems 16th IFIP WG 6.1 International Conference, DAIS 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

Distributed Applications and Interoperable Systems 16th IFIP WG 6.1 International Conference, DAIS 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

Distributed Applications and Interoperable Systems 16th IFIP WG 6.1 International Conference, DAIS 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

Author

Jelasity, Márk. editor. Kalyvianaki, Evangelia. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

55.

Cover image for Transactions on Engineering Technologies

Transactions on Engineering Technologies

Transactions on Engineering Technologies

Author

Ao, Sio-Iong. editor. Yang, Gi-Chul. editor. Gelman, Len. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-10-1088-0

Format:

Availability

Online Library~1

Available:
Copies:

56.

Cover image for Network and Parallel Computing 13th IFIP WG 10.3 International Conference, NPC 2016, Xi'an, China, October 28-29, 2016, Proceedings

Network and Parallel Computing 13th IFIP WG 10.3 International Conference, NPC 2016, Xi'an, China, October 28-29, 2016, Proceedings

Network and Parallel Computing 13th IFIP WG 10.3 International Conference, NPC 2016, Xi'an, China, October 28-29, 2016, Proceedings

Author

Gao, Guang R. editor. Qian, Depei. editor. Gao, Xinbo. editor. Chapman, Barbara. editor. Chen, Wenguang. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

57.

Cover image for Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers

Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers

Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers

Author

Gurfinkel, Arie. editor. Seshia, Sanjit A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

58.

Cover image for Process Mining Data Science in Action

Process Mining Data Science in Action

Process Mining Data Science in Action

Author

van der Aalst, Wil M. P. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-49851-4

Format:

Availability

Online Library~1

Available:
Copies:

59.

Cover image for Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs

Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs

Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs

Author

Herdt, Vladimir. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-658-12680-3

Format:

Availability

Online Library~1

Available:
Copies:

60.

Cover image for Transactions on Engineering Technologies International MultiConference of Engineers and Computer Scientists 2015

Transactions on Engineering Technologies International MultiConference of Engineers and Computer Scientists 2015

Transactions on Engineering Technologies International MultiConference of Engineers and Computer Scientists 2015

Author

Yang, Gi-Chul. editor. Ao, Sio-Iong. editor. Huang, Xu. editor. Castillo, Oscar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-10-0551-0

Format:

Availability

Online Library~1

Available:
Copies:

1 .. 3 4 5 6 7

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11