Search Results for A. S.

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: Computer science.

Author

SpringerLink (Online service)

(79)

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)

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)

DeGross, Janice I. editor.

(2)

Otto, Friedrich. author. (orcid)0009-0002-9760-5462

(2)

Pianykh, Oleg S. author.

(2)

Aceto, Luca. editor.

(1)

Acuña, Silvia Teresita. author.

(1)

Ahmed, Sarah. author.

(1)

Asjoma, Maxim. author.

(1)

Axenie, Cristian. author. (orcid)0000-0001-6184-0546

(1)

Azim, Tayyaba. author.

(1)

Azman, Shazril. author.

(1)

Bacci, Giorgio. editor.

(1)

Bacci, Giovanni. editor.

(1)

Bareiss, Cathy. author.

(1)

Barik, Rajkishore. editor.

(1)

Baskerville, Richard L. editor.

(1)

Bauer, Roman. author. (orcid)0000-0002-7268-9359

(1)

Bhandarkar, Suchendra M. author.

(1)

Bijalwan, Anchit, editor.

(1)

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

(1)

Borg, Antoine. author.

(1)

Brewer, Kevin. author.

(1)

Bridges, Douglas S. author.

(1)

Cai, Qing. author.

(1)

Caligiore, Daniele. author.

(1)

Carli, Samuele. author. (orcid)0000-0002-3250-2465

(1)

Channa, Asma. author.

(1)

Charatan, Quentin. author.

(1)

Chowdhary, K.R. author.

(1)

Chowdhury, Ananda S. author.

(1)

Chu, Zhufei. author. (orcid)0000-0001-5718-4822

(1)

Cohen, William W. author.

(1)

Colton, Simon. author.

(1)

Console, Marco. editor. (orcid)0009-0004-5526-019X

(1)

Delia, Peter. author.

(1)

Deng, Lizhen. author.

(1)

Downey, Rod. author.

(1)

Draheim, Dirk. author.

(1)

Ekendahl, Robert. author.

(1)

Elnashaie, Said S. E. H. author.

(1)

Farmer, William M. author. (orcid)0009-0009-5524-9085

(1)

Feeman, Timothy G. author.

(1)

Ferrández, José Manuel. editor.

(1)

Fleischmann, Albert. author.

(1)

Galitsky, Boris. author.

(1)

Ganesh, S G. author.

(1)

Gong, Maoguo. author.

(1)

Guid, Matej. author.

(1)

Gunnerson, Eric. author.

(1)

Gunnerson, Eric. editor.

(1)

Gupta, Rajiv. editor.

(1)

Göbel, Susanne. author.

(1)

Haghighi, Boshra. author.

(1)

Hartono, Natalia. editor. (orcid)0000-0003-2314-1394

(1)

Heinz, Jeffrey. editor.

(1)

Hildre, Hans Petter. author.

(1)

Hunt, John. author.

(1)

Ingólfsdóttir, Anna. editor.

(1)

Iqbal, Azlan. author.

(1)

Jiménez López, M. Dolores. editor. (orcid)0000-0001-5544-3210

(1)

Johnsen, Einar Broch. editor.

(1)

Josipović, Lana. author.

(1)

Juneau, Josh. author.

(1)

Juristo, Natalia. author.

(1)

Kamat, Rajanish K. author.

(1)

Kans, Aaron. author.

(1)

Kao, Ming-Yang. editor.

(1)

Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926

(1)

Kern, Thorsten A. editor.

(1)

Kiefer, Stefan. editor.

(1)

Konev, Boris. editor. (orcid)0000-0002-6507-0494

(1)

Krivec, Jana. author.

(1)

Kučera, Antonín. editor. (orcid)0000-0002-6602-8028

(1)

Křetínský, Jan. editor.

(1)

Langerak, Rom. editor.

(1)

Legay, Axel. editor.

(1)

Lei, Yu. author.

(1)

Leung, Ricky. author. (orcid)0000-0002-2852-6771

(1)

Li, Fan. author. (orcid)0000-0002-2348-4488

(1)

Li, Guoyuan. author. (orcid)0000-0001-7553-0899

(1)

Li, Youqi. author. (orcid)0000-0003-3867-5997

(1)

Lindley, Sam. editor.

(1)

Liu, Xinyu. author.

(1)

Lyytinen, Kalle. editor.

(1)

López Corona, Oliver. author.

(1)

Ma, Lijia. author.

(1)

Mardare, Radu. editor.

(1)

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

(1)

Mathiassen, Lars. editor.

(1)

McBride, Conor. editor.

(1)

Meduna, Alexander. author.

(1)

Meinel, Christoph. author.

(1)

Memmert, Daniel. editor. (orcid)0000-0002-3406-9175

(1)

Mendes, Emilia. author.

(1)

Meyer, Bertrand. editor.

(1)

Mintz, Mike. author.

(1)

Mira, José. editor.

(1)

Mon, Alicia. author.

(1)

Moreno, Ana María. author.

(1)

Naik, Gourish M. author.

(1)

Ogihara, Mitsunori. author.

(1)

Palsberg, Jens. editor. (orcid)0000-0003-4747-365X

(1)

Pan, Yushan. author. (orcid)0000-0002-6877-3937

(1)

Parab, Jivan S. author.

(1)

Paz, Félix. editor.

(1)

Pham, D. T. editor. (orcid)0000-0003-3148-2404

(1)

Popescu, Nirvana. author.

(1)

Pries-Heje, Jan. editor.

(1)

Ramachandran, S. author.

(1)

Ray, Kumar S. author.

(1)

Raß, Stefan. author.

(1)

Rensink, Arend. editor.

(1)

Root, Randal. author.

(1)

Sannella, Don. editor. (orcid)0000-0003-4520-8924

(1)

Sempere, José M. editor.

(1)

Sharma, Tushar. author.

(1)

Shelake, Vinod G. author.

(1)

Shepherd, Jay. author.

(1)

Singer, Robert. author.

(1)

Soare, Robert I. author.

(1)

Soukup, Ondřej. author.

(1)

Steffen, Bernhard. editor.

(1)

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

(1)

Stockebrand, Benedikt. author.

(1)

Sutphin, Joe. author.

(1)

Sweeney, Mary Romero. author.

(1)

Sørensen, Carsten. editor.

(1)

Tang, Xifan. author.

(1)

Toledo, F. Javier. editor.

(1)

Trinder, Phil. editor.

(1)

Tu, Kaihui. author.

(1)

Uhlig, Frank. author.

(1)

Vaszil, György. editor. (orcid)0000-0003-1213-8616

(1)

Vîţă, Luminiţa Simona. author.

(1)

Wang, Shanfeng. author.

(1)

Weng, Wei. author.

(1)

West, Jeffrey. author. (orcid)0000-0001-9579-4664

(1)

Wienholt, Nick. editor.

(1)

Winters-Hilt, Stephen, author.

(1)

Xiao, Gaobiao. author. (orcid)0000-0001-5547-9475

(1)

Xu, Guoxia. author.

(1)

Xu, Jin. author.

(1)

Yang, Song. author.

(1)

Yoo, Youngjin. editor.

(1)

Yu, Cunxi. author. (orcid)0000-0003-3481-307X

(1)

Yu, Liyang. author.

(1)

Yuan, Chongyi. author.

(1)

Yukita, Shuichi. author. (orcid)0009-0006-5297-7501

(1)

Zhang, Chuan. author.

(1)

Zhang, Houxiang. author. (orcid)0000-0003-0122-0964

(1)

Zhu, Hu. author.

(1)

van der Aalst, Wil M. P. author.

(1)

Ábrahám, Erika. editor.

(1)

Álvarez, José R. editor.

(1)

Language

(81)

Publication Date

-

(22)

(12)

(11)

(5)

(5)

(5)

(4)

(3)

(3)

(2)

(2)

(2)

(2)

(1)

(1)

(1)

Subject

Theory of Computation.

(23)

Software engineering.

(19)

Computer Science Logic and Foundations of Programming.

(18)

Artificial intelligence.

(17)

Computer science -- Mathematics.

(8)

Formal Languages and Automata Theory.

(8)

Machine theory.

(8)

Bioinformatics.

(7)

Computer vision.

(7)

Compilers (Computer programs).

(6)

Compilers and Interpreters.

(6)

Computer simulation.

(6)

Theory and Algorithms for Application Domains.

(6)

(5)

Information systems.

(5)

Application software.

(4)

Computational complexity.

(4)

Computational linguistics.

(4)

Computer Modelling.

(4)

Computer and Information Systems Applications.

(4)

Computer programming.

(4)

(4)

Information storage and retrieval systems.

(4)

Machine learning.

(4)

Mathematics of Computing.

(4)

(4)

Programming Techniques.

(4)

Radiology, Medical.

(4)

Biomedical engineering.

(3)

Computer network architectures.

(3)

Mathematical statistics.

(3)

Models of Computation.

(3)

Optical pattern recognition.

(3)

Systems engineering.

(3)

Complex Systems.

(2)

Computational Mathematics and Numerical Analysis.

(2)

Computational and Systems Biology.

(2)

Computer Engineering and Networks.

(2)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(2)

Computer Science, general.

(2)

Computer engineering.

(2)

Computer networks .

(2)

Data Mining and Knowledge Discovery.

(2)

(2)

Design and Analysis of Algorithms.

(2)

Electrical and Electronic Engineering.

(2)

Electrical engineering.

(2)

(2)

Health Informatics.

(2)

Image processing -- Digital techniques.

(2)

Industrial and Production Engineering.

(2)

Industrial engineering.

(2)

Information theory.

(2)

(2)

Management information systems.

(2)

Mathematical Logic and Foundations.

(2)

Mathematical logic.

(2)

Mathematics -- Data processing.

(2)

Medical informatics.

(2)

Medical records -- Data processing.

(2)

(2)

Probability and Statistics in Computer Science.

(2)

Production engineering.

(2)

Programming Language.

(2)

Programming languages (Electronic computers).

(2)

Social sciences -- Data processing.

(2)

(2)

Algebra, Homological.

(1)

Algebraic topology.

(1)

Applications of Mathematics.

(1)

Apprentissage automatique.

(1)

Arithmetic and Logic Structures.

(1)

Artificial intelligence -- Data processing.

(1)

Bio-informatique.

(1)

Biochemical engineering.

(1)

(1)

Biology -- Data processing.

(1)

Business Information Systems.

(1)

Business information services.

(1)

C++ (Computer program language).

(1)

(1)

(1)

Category Theory, Homological Algebra.

(1)

Chemical engineering.

(1)

Chemistry -- Data processing.

(1)

Cloud Computing.

(1)

Computability and Recursion Theory.

(1)

Computable functions.

(1)

Computational Chemistry.

(1)

Computational Geometry.

(1)

Computational Physics and Simulations.

(1)

Computational biology

(1)

Computational biology.

(1)

Computer Appl. in Administrative Data Processing.

(1)

Computer Application in Administrative Data Processing.

(1)

Computer Application in Social and Behavioral Sciences.

(1)

Computer Communication Networks.

(1)

Computer System Implementation.

(1)

Computer aided design.

(1)

Computer arithmetic and logic units.

(1)

Computer hardware description languages.

(1)

Computer hardware.

(1)

Computer industry.

(1)

Computer programs -- Testing.

(1)

Computer science

(1)

Computer software.

(1)

Computer system performance.

(1)

Computer systems.

(1)

Computer-Aided Engineering (CAD, CAE) and Design.

(1)

Computer-aided engineering.

(1)

Computers, Special purpose.

(1)

Control Structures and Microprogramming.

(1)

Control engineering systems.

(1)

Cooperating objects (Computer systems).

(1)

Cyber-Physical Systems.

(1)

(1)

Differential equations.

(1)

Discrete Mathematics in Computer Science.

(1)

Discrete mathematics.

(1)

(1)

Electric power production.

(1)

Electrical Power Engineering.

(1)

Electronic books.

(1)

Electronic commerce.

(1)

Electronic data processing

(1)

Electronic data processing -- Management.

(1)

Electronic data processing.

(1)

Engineering mathematics.

(1)

Expert systems (Computer science).

(1)

Formal Reasoning.

(1)

Functional analysis.

(1)

Geographic information systems.

(1)

Geographical Information System.

(1)

(1)

Global analysis (Mathematics).

(1)

Human-computer interaction.

(1)

(1)

IT in Business.

(1)

Information Storage and Retrieval.

(1)

Information Systems Applications (incl. Internet).

(1)

Information technology -- Management.

(1)

Integral Transforms.

(1)

Intelligence (AI) & Semantics.

(1)

Knowledge Based Systems.

(1)

Knowledge management.

(1)

(1)

Logic programming.

(1)

Logic, Symbolic and mathematical.

(1)

Machine learning

(1)

Management of Computing and Information Systems.

(1)

Marine engineering.

(1)

Mathematical Applications in Computer Science.

(1)

Mathematical optimization.

(1)

Mathematical physics.

(1)

Mathematics in Popular Science.

(1)

Medical and Health Technologies.

(1)

Microprogramming .

(1)

Microwaves, RF Engineering and Optical Communications.

(1)

Mobile computing.

(1)

Neuroengineering.

(1)

(1)

(1)

(1)

(1)

Neurotechnology (Bioengineering).

(1)

(1)

Open source software.

(1)

Operations Research and Decision Theory.

(1)

Operations research.

(1)

(1)

Project management.

(1)

(1)

(1)

Recreation -- Equipment and supplies.

(1)

Recursion theory.

(1)

Register-Transfer-Level Implementation.

(1)

(1)

Software Testing.

(1)

Special Purpose and Application-Based Systems.

(1)

Sport Analytics.

(1)

(1)

Sport Technology.

(1)

Sports sciences.

(1)

(1)

Telecommunication.

(1)

(1)

Traffic engineering.

(1)

Transportation Technology and Traffic Engineering.

(1)

Transportation engineering.

(1)

User Interfaces and Human Computer Interaction.

(1)

User interfaces (Computer systems).

(1)

data processing.

(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

81 Results Found

Subscribe to search results

1 2 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.

1.

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:

2.

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:

3.

Cover image for Category Theory Using Haskell An Introduction with Moggi and Yoneda

Category Theory Using Haskell An Introduction with Moggi and Yoneda

Category Theory Using Haskell An Introduction with Moggi and Yoneda

Author

Yukita, Shuichi. author. (orcid)0009-0006-5297-7501 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Principle of Petri Nets

Principle of Petri Nets

Principle of Petri Nets

Author

Yuan, Chongyi. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-7336-7

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic 19th International Summer School 2023 Oslo, Norway, September 21-24, 2023, Tutorial Lectures

Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic 19th International Summer School 2023 Oslo, Norway, September 21-24, 2023, Tutorial Lectures

Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic 19th International Summer School 2023 Oslo, Norway, September 21-24, 2023, Tutorial Lectures

Author

Console, Marco. editor. (orcid)0009-0004-5526-019X Konev, Boris. editor. (orcid)0000-0002-6507-0494 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Restarting Automata Extensions and Generalizations

Restarting Automata Extensions and Generalizations

Restarting Automata Extensions and Generalizations

Author

Otto, Friedrich. author. (orcid)0009-0002-9760-5462 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Theory of Computation Automata, Formal Languages, Computation and Complexity

Theory of Computation Automata, Formal Languages, Computation and Complexity

Theory of Computation Automata, Formal Languages, Computation and Complexity

Author

Chowdhary, K.R. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-6234-7

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for An Introduction to Theory of Computation An Algorithmic Approach

An Introduction to Theory of Computation An Algorithmic Approach

An Introduction to Theory of Computation An Algorithmic Approach

Author

Ogihara, Mitsunori. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas

Author

Farmer, William M. author. (orcid)0009-0009-5524-9085 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Maximal Planar Graph Theory and the Four-Color Conjecture

Maximal Planar Graph Theory and the Four-Color Conjecture

Maximal Planar Graph Theory and the Four-Color Conjecture

Author

Xu, Jin. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-4745-3

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Simulating the Brain A Four-Step Method Using Ordinary Differential Equations and Python

Simulating the Brain A Four-Step Method Using Ordinary Differential Equations and Python

Simulating the Brain A Four-Step Method Using Ordinary Differential Equations and Python

Author

Caligiore, Daniele. author. Carli, Samuele. author. (orcid)0000-0002-3250-2465 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-2718-9

Format:

Availability

Online Library~1

Available:
Copies:

12.

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:

1 2 3 4 5 6 7

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11