Search Results for - Narrowed by: Software engineering. - Information theory.

Implementing effective code reviews : how to build and maintain clean code

2024-05-30T14:33:28Z

by Carullo, Giuliana.
https://go.oreilly.com/library-access/library/view/-/9781484261620/?ar https://learning.oreilly.com/library/view/~/9781484261620/?ar https://learning.oreilly.com/library/view/~/9781484261620
Format: Electronic Resources

New Trends in Model and Data Engineering MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24–26, 2018, Proceedings

2024-05-30T14:33:28Z

by Abdelwahed, El Hassan. editor.
https://doi.org/10.1007/978-3-030-02852-7
Format: Electronic Resources

Handbook of Model Checking

2024-05-30T14:33:28Z

by Clarke, Edmund M. editor.
https://doi.org/10.1007/978-3-319-10575-8
Format: Electronic Resources

Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches

2024-05-30T14:33:28Z

by Steffen, Bernhard. author.
https://doi.org/10.1007/978-3-319-68397-3
Format: Electronic Resources

Social, Cultural, and Behavioral Modeling 11th International Conference, SBP-BRiMS 2018, Washington, DC, USA, July 10-13, 2018, Proceedings

2024-05-30T14:33:28Z

by Thomson, Robert. editor.
https://doi.org/10.1007/978-3-319-93372-6
Format: Electronic Resources

Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings

2024-05-30T14:33:28Z

by Ryu, Sukyoung. editor. (orcid)0000-0002-0019-9772
https://doi.org/10.1007/978-3-030-02768-1
Format: Electronic Resources

NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings

2024-05-30T14:33:28Z

by Dutle, Aaron. editor.
https://doi.org/10.1007/978-3-319-77935-5
Format: Electronic Resources

Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II

2024-05-30T14:33:28Z

by Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786
https://doi.org/10.1007/978-3-319-78054-2
Format: Electronic Resources

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III

2024-05-30T14:33:28Z

by Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-030-03424-5
Format: Electronic Resources

Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

2024-05-30T14:33:28Z

by Havelund, Klaus. editor. (orcid)0000-0001-7079-0472
https://doi.org/10.1007/978-3-319-95582-7
Format: Electronic Resources

Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings

2024-05-30T14:33:28Z

by Johnsen, Einar Broch. editor.
https://doi.org/10.1007/978-3-319-92970-5
Format: Electronic Resources

Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

2024-05-30T14:33:28Z

by Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-030-03418-4
Format: Electronic Resources

Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

2024-05-30T14:33:28Z

by Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-030-03421-4
Format: Electronic Resources

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV

2024-05-30T14:33:28Z

by Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-030-03427-6
Format: Electronic Resources

Machine Learning for Dynamic Software Analysis: Potentials and Limits International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers

2024-05-30T14:33:28Z

by Bennaceur, Amel. editor. (orcid)0000-0002-6124-9622
https://doi.org/10.1007/978-3-319-96562-8
Format: Electronic Resources

Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

2024-05-30T14:33:28Z

by Howar, Falk. editor.
https://doi.org/10.1007/978-3-030-00244-2
Format: Electronic Resources

Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday

2024-05-30T14:33:28Z

by Jones, Cliff. editor.
https://doi.org/10.1007/978-3-030-01461-2
Format: Electronic Resources

Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings

2024-05-30T14:33:28Z

by Beyersdorff, Olaf. editor.
https://doi.org/10.1007/978-3-319-94144-8
Format: Electronic Resources

Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

2024-05-30T14:33:28Z

by Russo, Alessandra. editor. (orcid)0000-0002-3318-8711
https://doi.org/10.1007/978-3-319-89363-1
Format: Electronic Resources

Software Process Improvement and Capability Determination 18th International Conference, SPICE 2018, Thessaloniki, Greece, October 9–10, 2018, Proceedings

2024-05-30T14:33:28Z

by Stamelos, Ioannis. editor.
https://doi.org/10.1007/978-3-030-00623-5
Format: Electronic Resources

History and Philosophy of Computing Third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised Selected Papers

2024-05-30T14:33:28Z

by Gadducci, Fabio. editor.
https://doi.org/10.1007/978-3-319-47286-7
Format: Electronic Resources

Decision Procedures An Algorithmic Point of View

2024-05-30T14:33:28Z

by Kroening, Daniel. author.
https://doi.org/10.1007/978-3-662-50497-0
Format: Electronic Resources

Theory and Applications of Satisfiability Testing – SAT 2016 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings

2024-05-30T14:33:28Z

by Creignou, Nadia. editor.
https://doi.org/10.1007/978-3-319-40970-2
Format: Electronic Resources

Principles of the Spin Model Checker

2024-05-30T14:33:28Z

by Ben-Ari, Mordechai. author.
http://dx.doi.org/10.1007/978-1-84628-770-1
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2008 International Conference, Perugia, Italy, June 30 – July 3, 2008, Proceedings, Part I

2024-05-30T14:33:28Z

by Gervasi, Osvaldo. editor.
http://dx.doi.org/10.1007/978-3-540-69839-5
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2008 International Conference, Perugia, Italy, June 30– July 3, 2008, Proceedings, Part II

2024-05-30T14:33:28Z

by Gervasi, Osvaldo. editor.
http://dx.doi.org/10.1007/978-3-540-69848-7
Format: Electronic Resources

Euro-Par 2008 – Parallel Processing 14th International Euro-Par Conference, Las Palmas de Gran Canaria, Spain, August 26-29, 2008. Proceedings

2024-05-30T14:33:28Z

by Luque, Emilio. editor.
http://dx.doi.org/10.1007/978-3-540-85451-7
Format: Electronic Resources

Transactions on Computational Science II

2024-05-30T14:33:28Z

by Gavrilova, Marina L. editor.
http://dx.doi.org/10.1007/978-3-540-87563-5
Format: Electronic Resources

Decision Procedures An Algorithmic Point of View

2024-05-30T14:33:28Z

by Kroening, Daniel. author.
http://dx.doi.org/10.1007/978-3-540-74105-3
Format: Electronic Resources

High Performance Computing for Computational Science - VECPAR 2008 8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers

2024-05-30T14:33:28Z

by Palma, José M. Laginha M. editor.
http://dx.doi.org/10.1007/978-3-540-92859-1
Format: Electronic Resources

Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I

2024-05-30T14:33:28Z

by Aceto, Luca. editor.
http://dx.doi.org/10.1007/978-3-540-70575-8
Format: Electronic Resources

Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II

2024-05-30T14:33:28Z

by Aceto, Luca. editor.
http://dx.doi.org/10.1007/978-3-540-70583-3
Format: Electronic Resources

Computational Science – ICCS 2008 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part I

2024-05-30T14:33:28Z

by Bubak, Marian. editor.
http://dx.doi.org/10.1007/978-3-540-69384-0
Format: Electronic Resources

Computational Science – ICCS 2008 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part II

2024-05-30T14:33:28Z

by Bubak, Marian. editor.
http://dx.doi.org/10.1007/978-3-540-69387-1
Format: Electronic Resources

Applications and Theory of Petri Nets 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings

2024-05-30T14:33:28Z

by Hee, Kees M. editor.
http://dx.doi.org/10.1007/978-3-540-68746-7
Format: Electronic Resources

Computer-Aided Innovation (CAI) IFIP 20th World Computer Congress, Proceedings of the Second Topical Session on Computer-Aided Innovation, WG 5.4/TC 5 Computer-Aided Innovation, September 7-10, 2008, Milano, Italy

2024-05-30T14:33:28Z

by Cascini, Gaetano. editor.
http://dx.doi.org/10.1007/978-0-387-09697-1
Format: Electronic Resources

Theoretical Aspects of Computing - ICTAC 2008 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings

2024-05-30T14:33:28Z

by Fitzgerald, John S. editor.
http://dx.doi.org/10.1007/978-3-540-85762-4
Format: Electronic Resources

Composition of Embedded Systems. Scientific and Industrial Issues 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers

2024-05-30T14:33:28Z

by Kordon, Fabrice. editor.
http://dx.doi.org/10.1007/978-3-540-77419-8
Format: Electronic Resources

Unfoldings A Partial-Order Approach to Model Checking

2024-05-30T14:33:28Z

by Esparza, Javier. author.
http://dx.doi.org/10.1007/978-3-540-77426-6
Format: Electronic Resources

Formal Modeling and Analysis of Timed Systems 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings

2024-05-30T14:33:28Z

by Cassez, Franck. editor.
http://dx.doi.org/10.1007/978-3-540-85778-5
Format: Electronic Resources

Central European Functional Programming School Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures

2024-05-30T14:33:28Z

by Horváth, Zoltán. editor.
http://dx.doi.org/10.1007/978-3-540-88059-2
Format: Electronic Resources

Transactions on Computational Science I

2024-05-30T14:33:28Z

by Gavrilova, Marina L. editor.
http://dx.doi.org/10.1007/978-3-540-79299-4
Format: Electronic Resources

Logics of Specification Languages

2024-05-30T14:33:28Z

by Bjørner, Dines. editor.
http://dx.doi.org/10.1007/978-3-540-74107-7
Format: Electronic Resources

SOFSEM 2008: Theory and Practice of Computer Science 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008. Proceedings

2024-05-30T14:33:28Z

by Geffert, Viliam. editor.
http://dx.doi.org/10.1007/978-3-540-77566-9
Format: Electronic Resources

Euro-Par 2007 Workshops: Parallel Processing HPPC 2007, UNICORE Summit 2007, and VHPC 2007, Rennes, France, August 28-31, 2007, Revised Selected Papers

2024-05-30T14:33:28Z

by Bougé, Luc. editor.
http://dx.doi.org/10.1007/978-3-540-78474-6
Format: Electronic Resources

Computational Science – ICCS 2008 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part III

2024-05-30T14:33:28Z

by Bubak, Marian. editor.
http://dx.doi.org/10.1007/978-3-540-69389-5
Format: Electronic Resources

Euro-Par 2007 Parallel Processing 13th International Euro-Par Conference, Rennes ,France , August 28-31, 2007. Proceedings

2024-05-30T14:33:28Z

by Kermarrec, Anne-Marie. editor.
http://dx.doi.org/10.1007/978-3-540-74466-5
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2007 International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part I

2024-05-30T14:33:28Z

by Gervasi, Osvaldo. editor.
http://dx.doi.org/10.1007/978-3-540-74472-6
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2007 International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part II

2024-05-30T14:33:28Z

by Gervasi, Osvaldo. editor.
http://dx.doi.org/10.1007/978-3-540-74477-1
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2007 International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings. Part III

2024-05-30T14:33:28Z

by Gervasi, Osvaldo. editor.
http://dx.doi.org/10.1007/978-3-540-74484-9
Format: Electronic Resources

High Performance Computing for Computational Science - VECPAR 2006 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers

2024-05-30T14:33:28Z

by Daydé, Michel. editor.
http://dx.doi.org/10.1007/978-3-540-71351-7
Format: Electronic Resources

SOFSEM 2007: Theory and Practice of Computer Science 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007. Proceedings

2024-05-30T14:33:28Z

by Leeuwen, Jan. editor.
http://dx.doi.org/10.1007/978-3-540-69507-3
Format: Electronic Resources

Modelling Distributed Systems

2024-05-30T14:33:28Z

by Fokkink, Wan. author.
http://dx.doi.org/10.1007/978-3-540-73938-8
Format: Electronic Resources

Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part IV

2024-05-30T14:33:28Z

by Shi, Yong. editor.
http://dx.doi.org/10.1007/978-3-540-72590-9
Format: Electronic Resources

Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components

2024-05-30T14:33:28Z

by Nicolescu, G. editor.
http://dx.doi.org/10.1007/978-1-4020-6153-0
Format: Electronic Resources

Euro-Par 2006: Parallel Processing Workshops: CoreGRID 2006, UNICORE Summit 2006, Petascale Computational Biology and Bioinformatics, Dresden, Germany, August 29-September 1, 2006, Revised Selected Papers

2024-05-30T14:33:28Z

by Lehner, Wolfgang. editor.
http://dx.doi.org/10.1007/978-3-540-72337-0
Format: Electronic Resources

Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedings

2024-05-30T14:33:28Z

by Arge, Lars. editor.
http://dx.doi.org/10.1007/978-3-540-73420-8
Format: Electronic Resources

Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part II

2024-05-30T14:33:28Z

by Shi, Yong. editor.
http://dx.doi.org/10.1007/978-3-540-72586-2
Format: Electronic Resources

Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part III

2024-05-30T14:33:28Z

by Shi, Yong. editor.
http://dx.doi.org/10.1007/978-3-540-72588-6
Format: Electronic Resources

Petri Nets and Other Models of Concurrency – ICATPN 2007 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings

2024-05-30T14:33:28Z

by Kleijn, Jetty. editor.
http://dx.doi.org/10.1007/978-3-540-73094-1
Format: Electronic Resources

Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part I

2024-05-30T14:33:28Z

by Shi, Yong. editor.
http://dx.doi.org/10.1007/978-3-540-72584-8
Format: Electronic Resources

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I

2024-05-30T14:33:28Z

by Bugliesi, Michele. editor.
http://dx.doi.org/10.1007/11786986
Format: Electronic Resources

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II

2024-05-30T14:33:28Z

by Bugliesi, Michele. editor.
http://dx.doi.org/10.1007/11787006
Format: Electronic Resources

Euro-Par 2006 Parallel Processing 12th International Euro-Par Conference, Dresden, Germany, August 28 – September 1, 2006. Proceedings

2024-05-30T14:33:28Z

by Nagel, Wolfgang E. editor.
http://dx.doi.org/10.1007/11823285
Format: Electronic Resources

Computer and Information Sciences – ISCIS 2006 21th International Symposium, Istanbul, Turkey, November 1-3, 2006. Proceedings

2024-05-30T14:33:28Z

by Levi, Albert. editor.
http://dx.doi.org/10.1007/11902140
Format: Electronic Resources

Computational Science – ICCS 2006 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part I

2024-05-30T14:33:28Z

by Alexandrov, Vassil N. editor.
http://dx.doi.org/10.1007/11758501
Format: Electronic Resources

SOFSEM 2006: Theory and Practice of Computer Science 32nd Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 21-27, 2006. Proceedings

2024-05-30T14:33:28Z

by Wiedermann, Jiří. editor.
http://dx.doi.org/10.1007/11611257
Format: Electronic Resources

Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006. Proceedings, Part I

2024-05-30T14:33:28Z

by Gavrilova, Marina. editor.
http://dx.doi.org/10.1007/11751540
Format: Electronic Resources

Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006. Proceedings, Part II

2024-05-30T14:33:28Z

by Gavrilova, Marina L. editor.
http://dx.doi.org/10.1007/11751588
Format: Electronic Resources

Computational Science – ICCS 2006 6th International Conference, Reading, UK, May 28-31, 2006. Proceedings, Part II

2024-05-30T14:33:28Z

by Alexandrov, Vassil N. editor.
http://dx.doi.org/10.1007/11758525
Format: Electronic Resources

Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part III

2024-05-30T14:33:28Z

by Gavrilova, Marina. editor.
http://dx.doi.org/10.1007/11751595
Format: Electronic Resources

Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part IV

2024-05-30T14:33:28Z

by Gavrilova, Marina L. editor.
http://dx.doi.org/10.1007/11751632
Format: Electronic Resources

Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part V

2024-05-30T14:33:28Z

by Gavrilova, Marina L. editor.
http://dx.doi.org/10.1007/11751649
Format: Electronic Resources

Petri Nets and Other Models of Concurrency - ICATPN 2006 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006. Proceedings

2024-05-30T14:33:28Z

by Donatelli, Susanna. editor.
http://dx.doi.org/10.1007/11767589
Format: Electronic Resources

Computational Science – ICCS 2006 6th International Conference, Reading, UK, May 28-31, 2006. Proceedings, Part III

2024-05-30T14:33:28Z

by Alexandrov, Vassil N. editor.
http://dx.doi.org/10.1007/11758532
Format: Electronic Resources

Computational Science – ICCS 2006 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part IV

2024-05-30T14:33:28Z

by Alexandrov, Vassil N. editor.
http://dx.doi.org/10.1007/11758549
Format: Electronic Resources

Coordination of Large-Scale Multiagent Systems

2024-05-30T14:33:28Z

by Scerri, Paul. editor.
http://dx.doi.org/10.1007/0-387-27972-5
Format: Electronic Resources

Handbook of Nature-Inspired and Innovative Computing Integrating Classical Models with Emerging Technologies

2024-05-30T14:33:28Z

by Zomaya, Albert Y. editor.
http://dx.doi.org/10.1007/0-387-27705-6
Format: Electronic Resources

Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic

2024-05-30T14:33:28Z

by Bollig, Benedikt. author.
http://dx.doi.org/10.1007/3-540-32923-4
Format: Electronic Resources

Theoretical Introduction to Programming

2024-05-30T14:33:28Z

by Mills, Bruce. author.
http://dx.doi.org/10.1007/1-84628-263-2
Format: Electronic Resources

Event-Triggered and Time-Triggered Control Paradigms

2024-05-30T14:33:28Z

by Obermaisser, Roman. author.
http://dx.doi.org/10.1007/978-0-387-23044-3
Format: Electronic Resources

Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part III

2024-05-30T14:33:28Z

by Sunderam, Vaidy S. editor.
http://dx.doi.org/10.1007/b136575
Format: Electronic Resources

Euro-Par 2005 Parallel Processing 11th International Euro-Par Conference, Lisbon, Portugal, August 30 - September 2, 2005. Proceedings

2024-05-30T14:33:28Z

by Cunha, José C. editor.
http://dx.doi.org/10.1007/11549468
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part I

2024-05-30T14:33:28Z

by Gervasi, Osvaldo. editor.
http://dx.doi.org/10.1007/b136266
Format: Electronic Resources

Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005. Proceedings, Part I

2024-05-30T14:33:28Z

by Sunderam, Vaidy S. editor.
http://dx.doi.org/10.1007/b136570
Format: Electronic Resources

Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005. Proceedings, Part II

2024-05-30T14:33:28Z

by Sunderam, Vaidy S. editor.
http://dx.doi.org/10.1007/b136571
Format: Electronic Resources

SOFSEM 2005: Theory and Practice of Computer Science 31st Conference on Current Trends in Theory and Practice of Computer Science Liptovský Ján, Slovakia, January 22-28, 2005. Proceedings

2024-05-30T14:33:28Z

by Vojtáš, Peter. editor.
http://dx.doi.org/10.1007/b105088
Format: Electronic Resources

Automata, Languages and Programming 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings

2024-05-30T14:33:28Z

by Caires, Luís. editor.
http://dx.doi.org/10.1007/11523468
Format: Electronic Resources

High Performance Computing for Computational Science - VECPAR 2004 6th International Conference, Valencia, Spain, June 28-30, 2004, Revised Selected and Invited Papers

2024-05-30T14:33:28Z

by Daydé, Michel. editor.
http://dx.doi.org/10.1007/b106965
Format: Electronic Resources

Computer and Information Sciences - ISCIS 2005 20th International Symposium, Istanbul, Turkey, October 26-28, 2005. Proceedings

2024-05-30T14:33:28Z

by Yolum, pInar. editor.
http://dx.doi.org/10.1007/11569596
Format: Electronic Resources

Applications and Theory of Petri Nets 2005 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005. Proceedings

2024-05-30T14:33:28Z

by Ciardo, Gianfranco. editor.
http://dx.doi.org/10.1007/b136988
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part IV

2024-05-30T14:33:28Z

by Gervasi, Osvaldo. editor.
http://dx.doi.org/10.1007/b136278
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part II

2024-05-30T14:33:28Z

by Gervasi, Osvaldo. editor.
http://dx.doi.org/10.1007/b136269
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part III

2024-05-30T14:33:28Z

by Gervasi, Osvaldo. editor.
http://dx.doi.org/10.1007/b136271
Format: Electronic Resources

Shared Memory Parallel Programming with Open MP 5th International Workshop on Open MP Applications and Tools, WOMPAT 2004, Houston, TX, USA, May 17-18, 2004, Revised Selected Papers

2024-05-30T14:33:28Z

by Chapman, Barbara M. editor.
http://dx.doi.org/10.1007/b105895
Format: Electronic Resources

Parallel and Distributed Computing: Applications and Technologies 5th International Conference, PDCAT 2004, Singapore, December 8-10, 2004. Proceedings

2024-05-30T14:33:28Z

by Liew, Kim-Meow. editor.
http://dx.doi.org/10.1007/b103538
Format: Electronic Resources

Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making 9th Asian Computing Science Conference. Dedicated to Jean-Louis Lassez on the Occasion of His 5th Birthday. Chiang Mai, Thailand, December 8-10, 2004. Proceedings

2024-05-30T14:33:28Z

by Maher, Michael J. editor.
http://dx.doi.org/10.1007/b103476
Format: Electronic Resources

Engineering Theories of Software Intensive Systems Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004

2024-05-30T14:33:28Z

by Broy, Manfred. editor.
http://dx.doi.org/10.1007/1-4020-3532-2
Format: Electronic Resources

Autonomy Oriented Computing From Problem Solving to Complex Systems Modeling

2024-05-30T14:33:28Z

by Liu, Jiming. author.
http://dx.doi.org/10.1007/b101185
Format: Electronic Resources

Computational and Information Science First International Symposium, CIS 2004, Shanghai, China, December 16-18, 2004. Proceedings

2024-05-30T14:33:28Z

by Zhang, Jun. editor.
http://dx.doi.org/10.1007/b104566
Format: Electronic Resources