*Search Results* - Elementary Synchronous Programming

sublabel_Solr

1
2
*Next*
[2]

Elementary Synchronous Programming : in C++ and Java via algorithms

Janfada, Ali S. (Verfasser)

München : De Gruyter Oldenbourg, [2019]

*eBook*

Introduction to reliable and secure distributed programming

Cachin, Christian (Verfasser)

2. edition

Berlin : Springer, 2011

*book*

Technology and Innovation in Learning, Teaching and Education : 4th International Conference, TECH-EDU 2024, Abu Dhabi, United Arab Emirates, November 13–15, 2024, Revised Selected Papers, Part II

Reis, Arsénio (Herausgeber)

1st ed. 2025

Cham : Springer Nature Switzerland, 2025

*eBook*

CONCUR 2006 - Concurrency Theory : 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006

Baier, Christel (Herausgeber)

1st ed. 2006

Berlin, Heidelberg : Springer Berlin Heidelberg, 2006

*eBook*

Proceedings / Symposium on Logic in Computer Science, LICS '94 : July 4 - 7, 1994, CNAM, Paris, France

Symposium on Logic in Computer Science (9 : 1994 : Paris)

Los Alamitos, Calif. : IEEE Computer Society Press, 1994

*book*

Online Communities and Social Computing : Second International Conference, OCSC 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings

Schuler, Douglas (Herausgeber)

1st ed. 2007

Berlin, Heidelberg : Springer Berlin Heidelberg, 2007

*eBook*

Distributed systems : an algorithmic approach

Ghosh, Sukumar

Boca Raton [u.a.] : Chapman & Hall/CRC, 2007

*book*

Advances in web based learning : second international conference ; proceedings

Zhou, Wanlei (Herausgeber)

Berlin : Springer, 2003

*book*

Abstract state machines : a method for high level system design and analysis ; with 19 tables

Börger, Egon (Verfasser)

Berlin : Springer, 2003

*book*

Understanding formal methods

Monin, Jean-François

London [u.a.] : Springer, 2003

*book*

Spoken language processing : a guide to theory, algorithm, and system development

Huang, Xuedong

Upper Saddle River, N. J. : Prentice Hall, 2001

*book*

German writers in French exile : 1933 - 1940

Mauthner, Martin

London [u.a.] : Vallentine Mitchell, 2007

*book*

Modeling in systems biology : the Petri net approach

Koch, Ina (Herausgeber)

London : Springer, 2011

*book*

Consolidated ada reference manual : language and standard libraries ; international standard ISO/IEC 8652:1995(E) with technical corrigendum 1

Taft, S. Tucker (Hrsg.)

Berlin [u.a.] : Springer, 2001

*book*

Multimedia : computing, communications and applications

Steinmetz, Ralf

Upper Saddle River, NJ : Prentice Hall, 1995

*book*

Proceedings of ED-MEDIA & ED-TELECOM 98 : Freiburg, Germany, June 20 - 25, 1998
Vol. 1 / ed. by Thomas Ottmann ...

Ottmann, Thomas

Charlottesville, Va., 1998

*book*

Proceedings of ED-MEDIA & ED-TELECOM 98 : Freiburg, Germany, June 20 - 25, 1998
Vol. 2 / ed. by Thomas Ottmann ...

Ottmann, Thomas

Charlottesville, Va., 1998

*book*

Structural approaches to sequence evolution : molecules, networks, populations ; with 19 tables

Bastolla, Ugo (Herausgeber)

Berlin : Springer, 2007

*book*

Proceedings of the sixteenth Annual ACM Symposium on Theory of Computing : Washington, D. C. April 30 - May

Symposium on Theory of Computing (16 : 1984 : Washington, DC)

New York, NY : Assoc. for Computing Machinery, 1984

*book*

Neuroscience : exploring the brain

Bear, Mark F.

3. ed.

Philadelphia [u.a.] : Lippincott Williams & Wilkins, 2007

*book*

1
2
*Next*
[2]

*sublabel_Solr*

*Showing* 1 - 20 *of* 21

*pagination*

*pagination*

*Narrow Search*

sublabel_Solr

Showing 1 - 20 of 21

pagination

pagination

Narrow Search