Search Results for Time.

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)

(89)

Holleczek, Peter. editor.

(3)

Jansen, Nils. editor. (orcid)0000-0003-1318-8973

(3)

Junges, Sebastian. editor. (orcid)0000-0003-0978-8466

(3)

Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324

(3)

Legay, Axel. editor.

(3)

Matheja, Christoph. editor. (orcid)0000-0001-9151-0441

(3)

Noll, Thomas. editor. (orcid)0000-0002-1865-1798

(3)

Quatmann, Tim. editor. (orcid)0000-0002-2843-5511

(3)

Stoelinga, Mariëlle. editor. (orcid)0000-0001-6793-8165

(3)

Volk, Matthias. editor. (orcid)0000-0002-3810-4185

(3)

Cavalli, Ana Rosa. editor.

(2)

Giese, Holger. editor.

(2)

Halang, Wolfgang A. editor.

(2)

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

(2)

McCutchan, John. author.

(2)

Olmstead, Don. author.

(2)

Abate, Alessandro. editor. (orcid)0000-0002-5627-9093

(1)

Abdeslam, Djaffar Ould, author.

(1)

Abeni, Luca. author.

(1)

Abraham, Ajith. editor.

(1)

Aceto, Luca. editor.

(1)

Al Faruque, Mohammad Abdullah. editor.

(1)

Ao, Sio-Iong. author.

(1)

Ardolino, Alessandro. author.

(1)

Arnaud, Remi. author.

(1)

Auger, François.

(1)

Austin, Chad. author.

(1)

Aßmann, Uwe. editor.

(1)

Bacci, Giorgio. editor.

(1)

Bacci, Giovanni. editor.

(1)

Bagnato, Alessandra. editor.

(1)

Ballantyne, Ian. author.

(1)

Beaty, Mark. author.

(1)

Beckner, Mark. author.

(1)

Bencomo, Nelly. editor.

(1)

Bennett, Sean. author.

(1)

Benslimane, Djamal. editor.

(1)

Berinstein, Paula. author.

(1)

Bertogna, Marko. editor.

(1)

Blaas-Schenner, Claudia. editor.

(1)

Blanas, Spyros. editor.

(1)

Blomqvist, Eva. editor. (orcid)0000-0003-0036-6662

(1)

Boldo, Sylvie. editor.

(1)

Bondavalli, Andrea. editor. (orcid)0000-0001-7366-6530

(1)

Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618

(1)

Bordawekar, Rajesh. editor.

(1)

Bouchenak, Sara. editor.

(1)

Bozzon, Alessandro. editor. (orcid)0000-0002-3300-2913

(1)

Buhr, Peter A. author.

(1)

Buttazzo, Giorgio C. author.

(1)

Buttazzo, Giorgio. author.

(1)

Cabello, Enrique. editor.

(1)

Caccamo, Marco. author.

(1)

Cardoso, Jorge. editor.

(1)

Cardoso, João M.P. editor.

(1)

Chaganti, Ravikanth. author.

(1)

Chbeir, Richard. editor. (orcid)0000-0003-4112-1426

(1)

Chen, Chaomei. author.

(1)

Cheng, Betty H.C. editor.

(1)

Ciancarini, Paolo. editor. (orcid)0000-0002-7958-9924

(1)

Cirne, Walfredo. editor.

(1)

Criswell, John. editor.

(1)

Crnkovic, Ivica. editor.

(1)

Cudré-Mauroux, Philippe. editor.

(1)

Darwish, Ashraf. editor.

(1)

Dea, Carl. author.

(1)

Desai, Narayan. editor.

(1)

Dieterlen, Alain, author.

(1)

Ding, Chen. editor.

(1)

Duc, Bui Minh. editor.

(1)

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

(1)

Erciyes, K. author.

(1)

Fey, Dietmar. editor. (orcid)0000-0002-6077-4732

(1)

Fielding, Jonathan. author.

(1)

Formenti, Enrico. editor. (orcid)0000-0002-1007-7912

(1)

France, Robert B. editor.

(1)

Franco, Simon. author.

(1)

Freeman, Jesse. author.

(1)

Fränzle, Martin. editor.

(1)

Garcia, Bruno. author.

(1)

Garlan, David. editor.

(1)

Gauci, Jason. author.

(1)

Ghezzi, Carlo. editor.

(1)

Gonzalez Torres, Raul E. author.

(1)

Graf, Susanne. editor. (orcid)0000-0003-4354-6807

(1)

Guime, Freddy. author.

(1)

Gutknecht, Jürg. author.

(1)

Götz, Marcelo. editor.

(1)

Haas, Tobias. editor.

(1)

Hannig, Frank. editor. (orcid)0000-0003-3663-6484

(1)

Haxthausen, Anne E. editor. (orcid)0000-0001-7349-8872

(1)

Herubel, Adrien. author.

(1)

Higuera-Toledano, M. Teresa. editor.

(1)

Howard, Jon. author.

(1)

Hudson, Shane. author.

(1)

Ingólfsdóttir, Anna. editor.

(1)

Johnsen, Einar Broch. editor.

(1)

Jones, Brandon. author.

(1)

Jones, Cliff B. editor.

(1)

Jones, Cliff. editor.

(1)

Juneau, Josh. author.

(1)

Kacprzyk, Janusz. editor.

(1)

Karsai, Gabor. editor.

(1)

Khan, Mohammad Ayoub. editor.

(1)

Kharchenko, Vyacheslav. editor.

(1)

Kihira, Takuo. author.

(1)

Klügl, Franziska. editor.

(1)

Knapp, Alexander. editor. (orcid)0000-0002-4050-3249

(1)

Knodel, Jens. author.

(1)

Kondratenko, Yuriy. editor.

(1)

Kopetz, Hermann. author.

(1)

Kopetz, Hermann. editor.

(1)

Kormanyos, Christopher Michael. author.

(1)

Kormanyos, Christopher. author.

(1)

Kotsialos, Apostolos. editor.

(1)

Kurtz, Jamie. author.

(1)

Lahiri, Tirthankar. editor.

(1)

Lee, Edward. editor.

(1)

Lee, Roger. editor.

(1)

Levandoski, Justin. editor.

(1)

Lin, Shun. author.

(1)

Linden, Isabelle. editor.

(1)

Linwood, Jeff. author.

(1)

Lipari, Giuseppe. author.

(1)

Liu, Zhiming. editor.

(1)

Liu, Zhiming. editor. (orcid)0000-0001-9771-3071

(1)

Lokuciejewski, Paul. author.

(1)

Lubbers, Peter. author.

(1)

Ludwig, André. editor.

(1)

Maciaszek, Leszek A. editor. (orcid)0000-0001-6561-0545

(1)

Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017

(1)

Mahmood, Zaigham. editor.

(1)

Mallouli, Wissam. editor.

(1)

Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329

(1)

Mardan, Azat. author.

(1)

Mardare, Radu. editor.

(1)

Markey, Nicolas. editor.

(1)

Marwedel, Peter. author.

(1)

Maurer, Christian. author.

(1)

Mazur, Andrzej. author.

(1)

McAnlis, Colt. author.

(1)

McCluskey, Thomas Leo. editor.

(1)

McDonnell, Mark. author.

(1)

Meisen, Philipp. author.

(1)

Mejia Alvarez, Pedro. author.

(1)

Minter, Dave. author.

(1)

Moe, Nils Brede. editor.

(1)

Mohr, Felix. author.

(1)

Moukadem, Ali, author.

(1)

Müller, Jörg P. editor.

(1)

Müller-Schloer, Christian. author.

(1)

Naab, Matthias. author.

(1)

Nagl, Manfred. author.

(1)

Nayyeri, Keyvan. author.

(1)

Nedelcu, Nicusor. author.

(1)

Ngyuen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948

(1)

Niethammer, Christoph. editor. (orcid)0000-0002-3840-1016

(1)

Nitschke, Benjamin. author.

(1)

O'Regan, Gerard. author.

(1)

OConner, John. author.

(1)

Odell, Den. author.

(1)

Ortega Cisneros, Susana. author.

(1)

Ottinger, Joseph. author.

(1)

Owen, RJ. author.

(1)

Pagella, Mario Andres. author.

(1)

Painer, Sven. author.

(1)

Papathanasiou, Jason. editor.

(1)

Pautasso, Cesare. editor.

(1)

Pavlo, Andrew. editor.

(1)

Pettersson, Paul. editor. (orcid)0000-0003-4040-3480

(1)

Pinho, Luís Miguel. editor.

(1)

Pionteck, Thilo. editor.

(1)

Ploskas, Nikolaos. editor.

(1)

Poggi, Francesco. editor.

(1)

Popelyshev, Ivan. author.

(1)

Popova-Zeugmann, Louchka. author.

(1)

Quiñones, Eduardo. editor.

(1)

Rahman, Mohammad. author.

(1)

Rana, Omer. editor.

(1)

Rayadurgam, Sanjai. editor.

(1)

Regupathy, Rajaram. author.

(1)

Rettberg, Achim. editor.

(1)

Robinet, Fabrice. author.

(1)

Ronchi, Christian. author.

(1)

Rumpe, Bernhard. editor.

(1)

Sadovykh, Andrey. editor.

(1)

Saeed, Saqib. editor.

(1)

Samour, Gustavo. author.

(1)

Schagaev, Igor. author.

(1)

Schirner, Gunar. editor.

(1)

Schröder-Preikschat, Wolfgang. editor.

(1)

Schumann, René. editor.

(1)

Schätz, Bernhard. editor.

(1)

Seceleanu, Cristina. editor.

(1)

Serwe, Wendelin. editor.

(1)

Smith, Tyler. author.

(1)

Song, Min. author.

(1)

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

(1)

Stevanovic, Milan. author.

(1)

Language

(89)

(3)

Publication Date

-

(22)

(19)

(16)

(8)

(7)

(4)

(2)

(2)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

Subject

Computer science.

(32)

Computer networks .

(16)

Application software.

(15)

Compilers (Computer programs).

(15)

Compilers and Interpreters.

(15)

Computer Communication Networks.

(15)

Computer and Information Systems Applications.

(15)

Computer Science Logic and Foundations of Programming.

(14)

Artificial intelligence.

(12)

(9)

Computer programming.

(9)

Computer simulation.

(9)

Formal Languages and Automata Theory.

(9)

Machine theory.

(9)

Theory of Computation.

(9)

Computer Engineering and Networks.

(8)

Computer engineering.

(8)

Programming Techniques.

(8)

Computer Modelling.

(7)

Computer System Implementation.

(6)

Computer network architectures.

(6)

Computer system performance.

(6)

Computer systems.

(5)

Electronic data processing -- Management.

(5)

(5)

Internet programming.

(5)

Special Purpose and Application-Based Systems.

(5)

Systems engineering.

(5)

Web Development.

(5)

Computational intelligence.

(4)

Computers, Special purpose.

(4)

Database management.

(4)

(4)

Information Storage and Retrieval.

(4)

Information storage and retrieval systems.

(4)

Information technology -- Management.

(4)

Microsoft .NET Framework.

(4)

Microsoft software.

(4)

(4)

Computer Application in Administrative Data Processing.

(3)

Computer architecture.

(3)

(3)

Control Structures and Microprogramming.

(3)

Information theory.

(3)

Operating systems (Computers).

(3)

Software Management.

(3)

Software engineering -- Management.

(3)

Business information services.

(2)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(2)

Computer games -- Programming.

(2)

Computer vision.

(2)

Data Mining and Knowledge Discovery.

(2)

Data Structures and Information Theory.

(2)

(2)

Data structures (Computer science).

(2)

(2)

Engineering mathematics.

(2)

Game Development.

(2)

Hardware Performance and Reliability.

(2)

IT in Business.

(2)

Image processing -- Digital techniques.

(2)

Java (Computer program language).

(2)

(2)

(2)

Microprocessors.

(2)

Microprogramming.

(2)

Microprogramming .

(2)

Operating Systems.

(2)

Processor Architectures.

(2)

(1)

Bioinformatics.

(1)

Biological models.

(1)

Business IT Infrastructure.

(1)

COMPUTERS -- Distributed Systems -- Cloud Computing.

(1)

Cloud computing

(1)

Cloud computing.

(1)

Communications Engineering, Networks.

(1)

Complex Systems.

(1)

Computation by Abstract Devices.

(1)

Computational Biology/Bioinformatics.

(1)

Computer Hardware.

(1)

Computer aided design.

(1)

Computer communication systems.

(1)

Computer programs -- Testing.

(1)

Computer software.

(1)

Control engineering.

(1)

Control, Robotics, Automation.

(1)

Cooperating objects (Computer systems).

(1)

Cyber-Physical Systems.

(1)

Data Storage Representation.

(1)

Data and Information Security.

(1)

Data protection.

(1)

Database Management System.

(1)

Design and Analysis of Algorithms.

(1)

Electrical engineering.

(1)

Electronic Circuits and Systems.

(1)

Electronic circuits.

(1)

Electronic data processing personnel -- Certification

(1)

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

(1)

Engineering -- Data processing.

(1)

Fourier analysis.

(1)

Guides de l'étudiant.

(1)

Génie logiciel.

(1)

Human-computer interaction.

(1)

(1)

Information Systems.

(1)

Information retrieval.

(1)

Input-output equipment (Computers).

(1)

(1)

Logic programming.

(1)

Management information systems.

(1)

Mathematical Software.

(1)

Mathematical and Computational Engineering Applications.

(1)

Mobile computing.

(1)

Models of Computation.

(1)

Multimedia systems.

(1)

(1)

Open source software.

(1)

Operations Research and Decision Theory.

(1)

Operations research.

(1)

Programming Language.

(1)

Programming languages (Electronic computers).

(1)

Python (Computer program language).

(1)

(1)

Renewable Energy.

(1)

Renewable energy sources.

(1)

(1)

Security Science and Technology.

(1)

Security systems.

(1)

Signal processing -- Digital techniques -- Data processing.

(1)

Signal processing.

(1)

Software Testing.

(1)

Software engineering

(1)

(1)

(1)

System Performance and Evaluation.

(1)

(1)

Systems Biology.

(1)

(1)

Telecommunication.

(1)

User Interfaces and Human Computer Interaction.

(1)

User interfaces (Computer systems).

(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

92 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.

25.

Cover image for Recent Advances in the Message Passing Interface 31st European MPI Users' Group Meeting, EuroMPI 2024, Perth, WA, Australia, September 25-27, 2024, Proceedings

Recent Advances in the Message Passing Interface 31st European MPI Users' Group Meeting, EuroMPI 2024, Perth, WA, Australia, September 25-27, 2024, Proceedings

Recent Advances in the Message Passing Interface 31st European MPI Users' Group Meeting, EuroMPI 2024, Perth, WA, Australia, September 25-27, 2024, Proceedings

Author

Blaas-Schenner, Claudia. editor. Niethammer, Christoph. editor. (orcid)0000-0002-3840-1016 Haas, Tobias. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

26.

Cover image for Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II

Author

Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-75775-4

Format:

Availability

Online Library~1

Available:
Copies:

27.

Cover image for Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I

Author

Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

28.

Cover image for Machines, Computations, and Universality 10th International Conference, MCU 2024, Nice, France, June 5-7, 2024, Revised Selected Papers

Machines, Computations, and Universality 10th International Conference, MCU 2024, Nice, France, June 5-7, 2024, Revised Selected Papers

Machines, Computations, and Universality 10th International Conference, MCU 2024, Nice, France, June 5-7, 2024, Revised Selected Papers

Author

Formenti, Enrico. editor. (orcid)0000-0002-1007-7912 Durand-Lose, Jérôme. editor. (orcid)0000-0001-6506-074X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

29.

Cover image for Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III

Author

Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

30.

Cover image for Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings

Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings

Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings

Author

Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017 Knapp, Alexander. editor. (orcid)0000-0002-4050-3249 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

31.

Cover image for Object-based Programming with Go

Object-based Programming with Go

Object-based Programming with Go

Author

Maurer, Christian. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-658-44704-5

Format:

Availability

Online Library~1

Available:
Copies:

32.

Cover image for Software Design for Resilient Computer Systems

Software Design for Resilient Computer Systems

Software Design for Resilient Computer Systems

Author

Schagaev, Igor. author. Gutknecht, Jürg. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-55139-0

Format:

Availability

Online Library~1

Available:
Copies:

33.

Cover image for Formal Methods for Industrial Critical Systems 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings

Formal Methods for Industrial Critical Systems 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings

Formal Methods for Industrial Critical Systems 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings

Author

Haxthausen, Anne E. editor. (orcid)0000-0001-7349-8872 Serwe, Wendelin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

34.

Cover image for Internet Computing Principles of Distributed Systems and Emerging Internet-Based Technologies

Internet Computing Principles of Distributed Systems and Emerging Internet-Based Technologies

Internet Computing Principles of Distributed Systems and Emerging Internet-Based Technologies

Author

Sunyaev, Ali. author. (orcid)0000-0002-4353-8519 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-61014-1

Format:

Availability

Online Library~1

Available:
Copies:

35.

Cover image for CyberSecurity in a DevOps Environment From Requirements to Monitoring

CyberSecurity in a DevOps Environment From Requirements to Monitoring

CyberSecurity in a DevOps Environment From Requirements to Monitoring

Author

Sadovykh, Andrey. editor. Truscan, Dragos. editor. Mallouli, Wissam. editor. Cavalli, Ana Rosa. editor. Seceleanu, Cristina. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

36.

Cover image for Software Architectures Topics Usually Missed in Textbooks

Software Architectures Topics Usually Missed in Textbooks

Software Architectures Topics Usually Missed in Textbooks

Author

Nagl, Manfred. author. Westfechtel, Bernhard. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-51335-0

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